OpenAI通用模型破解80年数学难题，菲尔兹奖得主惊叹
2026/05/21 17:36阅读量 3
OpenAI内部通用推理模型自主解决了埃尔德什1946年提出的单位距离经典难题，该问题80年来无实质进展。模型从代数数论切入，构造新点排列，证明增长率是超线性的，打破了人类长期共识。菲尔兹奖得主高尔斯称这是AI首次自主攻克的未解数学难题。
事件概述
OpenAI内部一款通用推理模型独立解决了埃尔德什单位距离问题，这是1946年提出的经典未解难题，80年来未有突破。该模型不是专门训练的数学模型，而是通用大模型。菲尔兹奖得主蒂莫西·高尔斯评价称：“这是AI解决的第一个极其著名的、未解的数学问题的清晰案例，也是第一个由AI自主实现的数学突破。”
核心信息
- 问题背景：单位距离问题问的是平面上n个点中，最多有多少对点距离恰好为1。问题看似简单，但数学家长期相信最优方案是正方形网格排列，增长率为线性 O(n)。
- AI突破：OpenAI的通用模型没有采用几何方法，而是从代数数论切入，构造了全新的点排列方式，证明下界 u(n) ≥ n^(1+δ)，其中δ>0，即增长率是超线性的，推翻了近80年的线性共识。
- 后续进展：人类数学家基于AI给出的构造进一步优化了下界。AI未精炼的完整思路长达125页，其中第39页阐述了关键观点，构造过程被描述为“令人恐惧的”。
- 对比历史：2025年10月，OpenAI曾宣称GPT-5解决了10个埃尔德什问题，后被数学家Thomas Bloom指出只是搜索到已有论文，并非原创。本次Thomas Bloom评价称：“这是人工智能目前在数学领域取得的最亮眼成就。”
值得关注
OpenAI负责该模型的Noam Brown表示，这款通用推理模型即将发布。目前OpenAI未公布模型名称及更多技术细节。