人工智能(AI)在数学领域取得了迄今为止最具影响力的成就:成功证伪了由著名数学家保罗·埃尔德什(Paul Erdős)于1946年提出的关于"单位距离问题"的一个核心数学猜想。
核心观点:
此前,AI 虽在数学证明上有所尝试,但多集中于次要问题。
本次突破针对的是组合几何领域一个广为人知、且困扰了数学界数十年的重大悬而未决的问题。
通过引入代数数论的新颖思想,AI 证明了原有的下界并非最优。
菲尔兹奖得主 Timothy Gowers 等顶尖学者对此表示认可。