菲尔兹奖得主都看懵了:OpenAI 非数学模型首次自主突破 80 年未解难题!

 💡数学史诗· AGI 的逻辑奇点菲尔兹奖得主都看懵了：OpenAI 非数学模型首次自主突破 80 年未解难题！> 导读：一个通用模型，在没有任何数学专家特训的情况下，自主啃下了埃尔德什（Paul Erdős）早年提出的“单位距离”经典难题。这道困扰了五代数学家、长达 80 年无实质进展的坚冰，竟然被 AI 用一种“令人恐惧”的代数思路消融了。一、题面极其简单，难度极其恐怖这个数学问题简单到你能在餐巾纸上随手画出来，但难到让无数顶级大脑折戟。埃尔德什在 1946 年提出的单位距离问题是：在平面上放置 n 个点，最多能有多少对点之间的距离恰好为 1？• 三个点：可以摆成等边三角形，距离为 1 的对数是 3 对；• 四个点：正方形不行（对角线距离不是 1），需要更复杂的排列；• 过去 80 年的共识：数学家们普遍相信，最优方案类似于正方形网格排列。用数学语言描述，增长速度大约是线性 ‭$O(n)$‬。公式表达为 ‭$u(n) \leq n^{1+o(1)}$‬，其中 ‭$o(1)$‬ 趋近于 0。二、 AI 的“暴力逻辑”：从几何跳向代数数论OpenAI 的这款内部通用推理模型彻底抛弃了几何直觉。它没有在平面上试错“摆点”，而是从代数数论的角度绕了进来，构造出了一族前所未见的点排列方式。AI 最终给出了一个惊人的证明：$$u(n) \geq n^{1+\delta} \text{，其中 } \delta > 0$$这意味着什么？它直接推翻了近百年的数学直觉：单位距离对数的增长速度不是线性的，而是超线性的。那个大家以为会消失的“小尾巴” ‭$\delta$‬，其实是正数。连菲尔兹奖得主**高尔斯（Timothy Gowers）**都感叹：> “这是 AI 解决的第一个极其著名的、未解数学问题的清晰案例，也是第一个由 AI 自主实现的数学突破。”三、细节曝光：125 页思路与“令人恐惧”的构造负责该推理模型的 Noam Brown 表示，虽然 OpenAI 发布的精简思路版本也有 125 页之多，但其核心洞察力让网友直呼“天赋拉满”。有细心的读者发现，模型在报告第 39 页阐述关键观点时，将某种构造过程描述为**“令人恐惧的（Terrifying）”**。这种带有情感色彩的词汇出现在严谨的数学证明中，引发了无数数学爱好者的好奇：在 AI 的逻辑底层，到底看到了怎样复杂的维度？更令人震惊的是：1. 非专用 AI：这是一款正经的“通用大模型”，而非专门针对数学训练的垂直模型。2. 人类优化：当人类数学家拿到 AI 的原始构造后，立刻在其基础上进行了二次优化，将下界又往上推了一把。这开启了**“AI 提出原创猜想/构造 -> 人类精炼证明”**的新科研范式。四、结语：从“复读机”到“原创大脑”OpenAI 曾在数学上“翻过车”。去年 10 月，其高管宣称解了 10 个埃尔德什问题，结果被数学界当场拆穿只是搜到了已有论文。但这一次，曾拆穿过 OpenAI 的数学家 Thomas Bloom 站出来说了句完全不同的话：> “这是人工智能目前在数学领域取得的最亮眼成就。”当 AI 开始拥有自主推演未知、突破人类经验上限的能力时，我们离真正的 AGI 或许真的只有一步之遥了。Noam Brown 已经放话：这款模型，要尽快发布！