OpenAI通用推理模型推翻80年未解数学猜想，菲尔兹奖得主称AI数学里程碑
2026/05/21 10:14阅读量 4
OpenAI一款通用推理模型成功推翻了组合几何领域长达80年的Erdős单位距离猜想，构造出n^(1+δ)个单位距离点对（δ可达0.014），突破原猜想的上界。该证明已通过外部数学家验证，被菲尔兹奖得主Tim Gowers誉为“AI数学的里程碑”，标志着AI首次自主解决数学核心公开问题，进入科研上游创造环节。
事件概述
OpenAI内部一款通用推理模型在组合几何领域推翻了由数学家Paul Erdős于1946年提出的“平面单位距离问题”猜想。该问题询问：在无限平面上放置n个点，最多能有多少对距离恰好为1的点对？Erdős曾猜想这个数量u(n)的上界为n^(1+o(1))，即仅略高于线性增长。
核心信息
- 新构造：模型找到一族新构造，对无穷多个n，可得到至少n^(1+δ)个单位距离点对，其中δ为固定正数。经普林斯顿大学数学教授Will Sawin改进，δ可取0.014。这否定了Erdős的原猜想。
- 证明验证：证明已由外部数学家检查，并配有解释背景和意义的配套论文。
- 跨领域工具：新构造出人意料地连接到代数数论，运用了无限类域塔、Golod Shafarevich理论等工具，将几何问题与数论结构联系起来。
值得关注
- AI的原创性：这是AI首次自主解决数学核心分支的重要公开问题。模型并非专门针对该问题定制，而是在处理一组Erdős问题时自主得到结果，并完成了可让专家审查的证明。
- 科研意义：菲尔兹奖得主Tim Gowers称其为“AI数学的里程碑”。组合数学家Noga Alon也认为这一突破令人意外，尤其因为正确答案并未落在长期预期的n^(1+o(1))内。
- 人机协作：AI提出关键构造，人类专家负责验证正确性、解释意义并追问扩展。未来AI有望批量提出复杂研究路径，改变数学研究的劳动结构，研究者的核心任务将转向判断问题价值、结果可信度和路线优先级。