如何评价 OpenAI 称推翻困扰数学界近 80 年的「平面单位距离猜想」？这一结果的可信度如何？
5月21日，OpenAI官方宣布：其内部一个通用推理模型，自主推翻了“平面单位距离猜想”（Erd?s Unit Distance Problem）——这道由匈牙利数学家保罗·Erd?s（厄多斯）于1946年提出的几何难题，困扰数学界整整79年。 消息一出，数学圈和AI圈同时震动。 OpenAI CEO山姆·奥特曼在X上转发了这一消息，写了一句意味深长的话：“感受很复杂。” 菲尔兹奖得主、剑桥大学教授Timothy Gowers称之为“AI数学的里程碑”。为了表达他的震惊，他发帖说道：“如果你是一名数学家，那么在继续阅读之前，你可能需要确保自己是坐着的。” 这次，OpenAI没有再翻车 这不是OpenAI第一次宣称AI解决了“平面单位距离猜想”问题，简称Erd?s问题。 七个月前，OpenAI前副总裁Kevin Weil曾在X上高调发帖：“GPT-5找到了10个此前未解决的Erd?s问题的解！” 结果很快被打脸——GPT-5不过是在文献里找到了已有的答案，并没有真正解决问题。谷歌DeepMind CEO Demis Hassabis和Meta首席AI科学家Yann LeCun相继嘲讽，Weil随即删帖。 这一次，OpenAI显然更谨慎。 公司在发布证明的同时，附上了一份由多位顶尖数学家联署的“companion paper”（伴随论文），包括：菲尔兹奖得主Timothy Gowers、普林斯顿大学数学家Noga Alon、多伦多大学数论学家Arul Shankar（印度裔），以及维护Erd?s问题网站的数学家Thomas Bloom——正是这位Bloom，当初将Weil的那篇帖子定性为"严重误导"。 这些数学家独立审查了AI给出的证明，并确认其成立。困扰人类80年的数学难题，被AI破解了！奥特曼：感受很复杂 原文：https://openai.com/index/model-disproves-discrete-geometry-conjecture/