OpenAI彻底震撼数学界，80年核心猜想被破解，菲尔兹奖得主惊呼坐不稳

OpenAI放出核弹级证明，80年埃尔德什猜想终被攻克

OpenAI 近日发布了一篇重量级数学证明，直接挑战并破解了由传奇数学家保罗·埃尔德什（Paul Erdős）在1946年提出的经典猜想——单位距离问题。该猜想试图确定平面上n个点之间最多能形成多少条单位距离线段（即点对间距离恰好为1），埃尔德什曾推测其上界为n^(1+ o(1))次。OpenAI 团队在官方发布的证明论文中，利用创新的构造方法，将上界压缩到了O(n^{4/3})，严格证明了先前人类数学家斯宾塞、塞梅雷迪和特罗特在1984年取得的未尽之功。这一成果不仅解开了长达80年的悬案，更让整个数学界为之震颤，多位菲尔兹奖得主在社交媒体上惊呼“坐不稳了”。

助燃数学界：菲尔兹奖得主Gowers怒发长文警告学生

剑桥大学数学教授、菲尔兹奖得主蒂莫西·高尔斯（Timothy Gowers）在获得ChatGPT 5.5 Pro的测试权限后，亲自进行了一场数学实验。他让AI尝试解决加法数论中的一个开放式问题——给定整数集合的求和集，寻找其最小直径。AI在短短两小时内，不仅独立发明了名为“k-解离集合”的新构造，还完成了从指数级到多项式级的优化，成果相当于一位博士生的高质量论文。Gowers随即发表超长博文，警告学生：“那些专为年轻博士设计的入门赛道正在被AI碾平，数学研究的最低门槛已彻底改变。”他特别指出，AI在组合学这类反向推理领域表现出惊人的原创性，人类必须重新思考自己的核心优势。

23岁业余爱好者80分钟破解60年难题，AI攻陷Erdős问题集群

就在OpenAI官宣前几日，一位23岁、无高等数学背景的业余爱好者借助ChatGPT-5，在80分钟内解出了编号为Erdős #1196的60年悬案。这一消息迅速发酵，引发全球热议。然而，数学家托马斯·布鲁姆（Thomas Bloom）随后指出，AI可能并非完全原创，而是检索到了早已发表、但未被广泛知晓的旧论文。尽管如此，这依然证明了AI在整合碎片化知识和快速处理结构化问题上的惊人能力。中国科技大学教授马杰表示，被AI攻克的Erdős问题往往具备“表述直观、结构清晰、已有大量经验积累”的共性，AI相当于一位博览群书的“超级助手”，能快速嫁接已有结论形成新思路。

数学家的困惑：证明得靠“咀嚼”，而不是只靠答案

AI的输出引发了一个深层难题：如何验证和“理解”这些证明？马杰教授指出，人类写证明的目的是让同行理解思想脉络，而AI的证明常常“设置无数未知数，看起来很繁杂”，导致人类难以消化。南京师范大学陈永高教授强调，数学的精髓在于训练思维能力，解决问题的过程比单纯的结果更重要。菲尔兹奖得主陶哲轩则用一个“搅拌机”比喻来警告：如果一味追求可读性和易消化，把所有数学问题丢进AI搅拌机灌进胃里，虽然高效，但会剥夺掉人类通过“咀嚼”获得的灵感、洞见与审美——那才是数学的真正乐趣。

陶哲轩的边界：数学思维才是AI时代的硬通货

面对AI对数学界的冲击，陶哲轩提出了一个“三层金字塔”模型：顶层是提出深刻猜想、定义新概念的直觉与品味；中层是将问题转化为可计算结构的逻辑框架能力；底层才是具体的证明技巧和计算。他警告，盲目优化“可读性”指标反而会让数学失去灵魂。未来的数学研究者，或许不再能独享定理的冠名权，但那些经过人类思维锤炼的直觉、洞察力以及对“漂亮”证明的审美，将是AI无法替代的护城河。正如Gowers所言，与AI协作时，真正做过研究的人更擅长引导方向，这种底层思维能力，才是AI时代最坚实的个人底气。