OpenAI破解八十年数学难题:单位距离猜想终被推翻
1946年,数学家保罗·爱尔特希在《美国数学月刊》上发表了一篇简短的文章。他在文中提出了一个问题。问题的具体内容我稍后再详细解释,你只需先了解两点:其一,他随手给出了一个最为朴素的答案——如同在方格纸上绘制点阵一般,极为简单。随后他推测,或许最优情形也不过如此,难以更进一步。其二,八十载光阴流逝,无人能够证伪,亦无人能彻底证实。无数代数学家前赴后继。有人自上而下——试图证明"至多达到此数",却止步不前。有人自下而上——试图构造出优于爱尔特希的方案,同样陷入困境。四十年前曾有人将上限略微推进,此后便再无进展
AI颠覆80年数学猜想,学界迎来新纪元
OpenAI近期宣称,其人工智能(AI)推理能力再度实现重大突破,成功解决了一个困扰数学界长达80年的难题——由匈牙利数学家保罗·埃尔德什(Paul Erdős)在1946年提出的“平面单位距离问题”。埃尔德什提出的问题是:若在纸上绘制若干个点,其中有多少对点的距离恰好相等(即相距1个单位)?埃尔德什曾证明,将点按网格排列可获得大量单位距离点对。随后他推测,其他排列方式很难超越网格的效能。数十年来,学者们一直试图验证该猜想。然而,OpenAI的模型得出了不同结论,指出存在某种排列方式优于埃尔德什设定的“上