OpenAI 推理模型破解 1946 年数学难题，AI 证明首登顶级期刊
OpenAI 的推理模型用代数数论工具推翻了数学家 Erdős 自 1946 年悬而未决的单位距离几何猜想，菲尔兹奖得主 Gowers 称其为 AI 数学里程碑。了解这一突破对中文圈科研、教育及国产模型的启示。
一句话看懂
OpenAI 推理模型首次用 AI 生成证明推翻 1946 年 Erdős 猜想，成果被顶级数学期刊接收，菲尔兹奖得主称人类难以竞争。
详细发生了什么
OpenAI 的一个推理模型成功推翻了数学家 Paul Erdős 在 1946 年提出的一个关于单位距离几何的猜想。该猜想在数学界悬而未决近 80 年，而 AI 使用了代数数论工具来构造反例——这一方法完全出乎专家预料。
菲尔兹奖得主 Tim Gowers 评价这一结果为“AI 数学的里程碑”，并警告说：“我们很可能已经进入了一个人类在解决数学问题上难以与 AI 竞争的时代。”该证明已被数学顶级期刊接收，这是 AI 生成的证明首次达到这一水平。
中文圈视角
对国内数学研究的影响：这一突破意味着 AI 不仅能辅助计算，还能独立发现人类未曾想到的数学结构。国内高校和科研机构（如中科院数学所、北大数学中心）可能需要重新评估 AI 在纯数学研究中的角色，尤其是在数论、组合几何等传统领域。
国产模型的差距与机会：目前国内推理模型（如 DeepSeek-R1、Kimi 的推理版本）在数学竞赛题上表现不错，但尚未有类似级别的原创数学发现。OpenAI 的成果表明，推理能力的关键在于“工具组合”而非单纯参数规模——国产模型若能在符号推理与搜索策略上突破，仍有追赶空间。
对教育和科研工具的启示：中文用户常用的数学辅助工具（如 Wolfram Alpha、Mathematica）多为商业软件，而 AI 推理模型可能成为新的“数学实验室”。但需注意，这类模型目前依赖大量计算资源，国内用户可能面临 API 访问限制或成本问题。
几条值得记住的细节
- 被推翻的 Erdős 猜想涉及单位距离图的色数问题，已有 78 年历史。
- AI 使用的代数数论方法此前在该问题中从未被考虑过，证明过程完全由模型自主生成。
- 该论文已被《数学年刊》接收，这是 AI 证明首次登上数学四大顶刊。
- Tim Gowers 在社交媒体上公开评价，并指出 AI 可能很快在“人类数学家擅长的领域”全面超越。
- OpenAI 未公布具体模型名称，但推测为 o 系列推理模型的升级版本。
一句话总结
AI 已经能做出人类数学家 80 年未解的原创证明，数学研究的方式正在被根本改变。