共计 1280 个字符，预计需要花费 4 分钟才能阅读完成。
菲尔兹奖得主都看懵了:OpenAI 非数学模型首次自主突破 80 年未解数学难题
OpenAI 又一次在数学领域引发震动。据量子位报道 , 其内部通用推理模型成功攻克了数学家埃尔德什在 1946 年提出的“单位距离问题”, 这一难题已困扰学界近 80 年, 此前几乎没有实质性进展。更令人惊讶的是, 完成这一突破的并非专门的数学模型, 而是一个通用大模型。菲尔兹奖得主蒂莫西·高尔斯(Timothy Gowers) 直言, 这是 AI 自主解决极其著名未解数学问题的首个清晰案例。
📌 问题本身: 简单又复杂
- 重点: 125 页“令人恐惧”的推演
- 重点: 当前公开信息主要集中在产品、策略或节奏变化上。
- 重点: 后续仍需关注官方更新、落地范围以及实际反馈。
单位距离问题听起来像一道趣味几何题: 在平面上放置 n 个点,最多能有多少对点之间的距离恰好为 1? 三个点可以构成等边三角形 , 每对距离都是 1; 四个点则无法简单用正方形实现, 因为对角线距离不是 1。随着 n 增大, 问题迅速变得复杂。过去近 80 年, 数学家们普遍认为, 最优排列方式类似于正方形网格, 单位距离对数的增长速率大致是线性的, 即 u(n) ≤ n^(1+o(1)), 其中 o(1) 趋近于 0。
🔍 AI 的突破性思路
OpenAI 的通用模型没有走传统的几何路线,而是从代数数论切入, 构造出一族全新的点排列方式。最终证明:u(n) ≥ n^(1+δ), 其中 δ >0。这意味着增长速率是超线性的, 那个被人类认为“趋近于 0”的尾巴实际上是正的。这一结果直接推翻了长达 80 年的数学共识。虽然模型给出的 δ 具体数值并非最优, 但人类数学家在此基础上进一步优化, 将下界再次提升。OpenAI 精简后的推导过程长达 125 页, 其中第 39 页阐述了关键观点, 模型甚至将构造过程描述为“令人恐惧的”, 引发了网友对完整思路的浓厚兴趣。
💡 不是“狼来了”: 从翻车到真突破
OpenAI 在数学领域并非没有“前科”。2025 年 10 月,OpenAI 副总裁 Kevin Weil 曾声称 GPT- 5 解决了 10 个埃尔德什问题, 但很快被数学家 Thomas Bloom 拆穿——那只是模型搜索到了已有论文, 并非原创。DeepMind 的哈萨比斯也批评其“令人尴尬”, 最终 Weil 删帖收场。然而七个月后, 面对 OpenAI 的新成果, 同样是 Thomas Bloom, 评价却截然不同:“这是人工智能目前在数学领域取得的最亮眼成就。”这一反转, 让外界对 OpenAI 的数学能力刮目相看。
📊 通用模型的潜力与悬念
围绕“菲尔兹奖得主都看懵了:OpenAI 非数学模型首次自主突破”，这一部分可从背景、现状与影响三个角度理解其关键信息。结合已公开内容来看，核心结论是趋势已较为明确，但细节仍需结合后续进展持续观察。
🚀 行业观察:AI 数学能力的里程碑
这次突破的意义不仅在于解决了一道难题,更在于它展示了通用大模型在逻辑推理和创造性思维上的潜力。过去,AI 在数学领域的成就多集中在辅助验证或搜索已知结果, 而此次则是自主发现全新构造, 打破了人类固有认知。对于数学界和 AI 行业而言, 这或许预示着 AI 将更深度参与前沿科研, 成为人类探索未知的得力助手。
