AI攻破80年数学难题

🔥 一、炸裂！AI自主推翻79年数学难题

5月21日，OpenAI官宣：其内部一个通用推理模型，自主推翻了"平面单位距离猜想"——这道由数学家Erdős于1946年提出的几何难题，困扰数学界整整79年，无人能解。

OpenAI CEO奥特曼转发时只写了四个字："感受很复杂。"

菲尔兹奖得主Gowers直接说：

"如果你是数学家，请先确保自己是坐着的。"

💰 ⚠️ 二、这次不是翻车——顶尖数学家联合背书

还记得7个月前OpenAI被打脸吗？前副总裁Weil吹GPT-5解决了10道Erdős题，结果全是文献里现成的答案，被DeepMind和Meta嘲讽后删帖。

这次，OpenAI学乖了。

proof发布的同时，附上了一份多位顶尖数学家联署的验证论文，包括：

正是Thomas Bloom，7个月前把Weil的帖子定性为"严重误导"。这次，他亲自盖章认可。 ✅

🤔 三、这道题到底难在哪？

问题本身不复杂：

平面上随机放n个点，最多能有多少对点之间距离恰好等于1？

79年来，所有数学家都认为最优解是"方格网格"，增长速度约为 n^(1+C/loglogn)——只比线性快一点点。Erdős猜测：这就是天花板，没人能超越。

AI说：不，我能。

OpenAI模型给出了一族全新点集构型，单位距离对数达到 n^(1+δ)，其中 δ = 0.014——直接推翻了Erdős猜想。

更绝的是，突破口来自一个完全不同的领域：代数数论。用到了"无穷类域塔"和"Golod–Shafarevich理论"——没人想到几何题能用这招解。

🌍 四、为什么这件事远不止一道数学题

OpenAI特意强调：完成证明的是一个通用推理模型，不是专门训练的数学系统。

这意味着同样的能力——跨领域串联知识、找到专家忽略的路径——可以复制到生物、物理、材料、医学等所有领域。

OpenAI核心科学家魏亚历山大连发5条推文：

"数学是即将到来之事的先行指标。AI将很快在科学各领域自主产出里程碑式成果。"

但他也说了一句关键的话：

"人来选择问题，解读结果，决定下一步。专业知识变得更有价值，而非更少。"

🌍 📌 一句话总结

当AI开始在人类最引以为傲的领域解题，科学的本质，正在被改写。 🚀

集成电路行业交流群

免责声明：本文内容来源于网络，除原创作品，本平台所使用的文章、图片等相关内容，属原权利人所有。集成电路前沿转载仅作为行业信息及新闻分享，不代表集成电路前沿支持或赞同本文观点，若有任何异议或侵权，敬请联系集成电路前沿，我们会及时处理，谢谢！