AI攻破80年数学难题 里程碑式突破

AI攻破80年数学难题 里程碑式突破。一个AI完成了人类数学家近80年来未能解决的问题。5月21日，OpenAI宣布其内部的通用推理模型自主推翻了“平面单位距离猜想”，这道由匈牙利数学家保罗·厄多斯于1946年提出的几何难题困扰了数学界整整79年。

消息一经公布，数学圈和AI圈都感到震惊。OpenAI CEO山姆·奥特曼在X上转发了这一消息，并表示：“感受很复杂。”菲尔兹奖得主、剑桥大学教授Timothy Gowers称这是“AI数学的里程碑”，并建议数学家们在阅读前坐稳。

这不是OpenAI第一次宣称解决了这个问题。七个月前，OpenAI前副总裁Kevin Weil曾在X上高调宣布GPT-5找到了十个未解决的厄多斯问题的答案，但很快被证实只是引用了已有文献，并没有真正解决问题。谷歌DeepMind CEO Demis Hassabis和Meta首席AI科学家Yann LeCun相继嘲讽，Weil随后删帖。

这一次，OpenAI显然更加谨慎。公司在发布证明的同时附上了一份多位顶尖数学家联署的伴随论文，包括菲尔兹奖得主Timothy Gowers、普林斯顿大学数学家Noga Alon、多伦多大学数论学家Arul Shankar以及维护厄多斯问题网站的数学家Thomas Bloom。这些数学家独立审查了AI给出的证明，并确认其成立。