【 以下文字转载自 NewExpress 讨论区 】
发信人: Engelberger (missing), 信区: NewExpress
标  题: openai通用推理模型推翻了80年未获证明的数学猜想，震惊了菲尔兹奖得主
发信站: 水木社区 (Thu May 21 13:05:07 2026), 站内

openai通用推理模型推翻了80年未获证明的数学猜想，震惊了菲尔兹奖得主
一、埃尔德什单位距离问题的难度：离散数学界的标杆级难题

这个问题是20世纪最伟大的组合数学家保罗·埃尔德什在1946年提出的核心猜想，在离散几何/组合数学领域的地位，对标数论中的孪生素数猜想、哥德巴赫猜想，属于典型的「人人能懂，无人能解」的顶级公开难题：

1. 分量级别的官方定位：埃尔德什一生提出了数千个数学问题，仅对极少数核心问题开出1000美元的最高悬赏，单位距离问题就在此列——和孪生素数猜想、拉姆齐数核心问题同属最高档，普通问题的悬赏仅为50-100美元。

2. 80年的攻坚绝境：80年来，几乎所有顶尖组合数学家（包括陶哲轩、Timothy Gowers本人在内的多位菲尔兹奖得主）都曾尝试突破，进展却极其缓慢：人类用了70年才把上界从n^(4/3)磨到n^(1 + c/log log n)，也就是指数仅比1多了一个趋近于0的无穷小项。整个学界已经形成共识：这个问题的极限就是指数1，不可能存在固定的正数ε让下界达到n^(1+ε)——直到这次AI直接推翻了这个共识。

3. 跨领域的辐射性：它不是孤立的趣味问题，是整个离散几何的奠基性问题，直接关联组合数论、计算几何、编码理论、理论计算机科学的数十个衍生问题，它的突破会直接带动整个领域的方向改写。

二、本次证明的学术水平：范式级的顶级突破

这不是普通的学术进展，是颠覆整个领域认知的里程碑级成果：

1. 顶刊级的硬标准：菲尔兹奖得主Gowers的评价是最权威的标尺——「如果这是人类投稿，我会毫不犹豫推荐它发表在《数学年鉴》」。《数学年鉴》是数学四大顶刊之首，全球数学系一年仅发表几十篇论文，绝大多数顶尖数学家一辈子能发一篇就足以奠定终身学术地位，国内普通985数学系整个院系十年都未必能产出一篇。

2. 质变级的突破：它不是在原有基础上推进一小步，而是直接推翻了学界80年的默认结论，相当于所有人都认定珠峰是世界最高峰，结果有人直接找到了一座9000米的新山峰。更关键的是，它用了人类数学家从未想到的跨领域路径（从代数数论借工具构造全新点集），属于「开辟全新研究方向」的范式级创新，而非小修小补。

3. AI领域的历史性突破：此前所有AI的数学成果，要么是复现人类已有的证明、要么是优化已知的算法、要么是专用模型定向攻坚，这是通用推理模型第一次完全自主、无人类干预地解决了人类数学界的核心公开难题，此前没有任何AI成果能达到这个学术高度。

三、如果由人类完成，对应的学术奖项与地位

这个成果的分量，已经站在了当代数学成果的第一梯队：

1. 若完成者年龄＜40岁：100%获得菲尔兹奖，无任何争议
菲尔兹奖的获奖门槛，就是「解决所在分支的核心公开问题，或开创全新研究领域」。2022年June Huh凭借解决组合数学的Rota猜想拿到菲尔兹奖，而单位距离问题的历史长度、学界知名度、领域影响力均显著高于Rota猜想，这个成果足以毫无悬念拿下菲尔兹奖，和陶哲轩、Scholze等顶尖数学家的获奖成果同级。

2. 若完成者年龄≥40岁：锁定数学界最高终身成就奖
超过菲尔兹奖40岁年龄限制的话，将毫无悬念包揽阿贝尔奖、沃尔夫数学奖（数学界的「终身成就诺贝尔奖」），同时必然拿下组合数学领域所有顶级奖项（科尔奖、富尔克森奖等），学术地位将和证明费马大定理的安德鲁·怀尔斯、证明庞加莱猜想的佩雷尔曼同级。

作为参考：张益唐凭借证明「孪生素数有界间隔」（推进了孪生素数猜想一步，而非完全解决/推翻）就已经成为全球传奇数学家，而本次成果的突破幅度、问题分量，均高于张益唐的工作。
需要我帮你拆解这次证明和张益唐孪生素数成果的核心差异对比吗？
--
FROM 117.176.186.*

确实还不能证明。
不过OpenAI组了一个很强的review团队（包括下面说的菲尔兹奖得主Gowers），他们认为这个结论是高度可信的。
主要是这次GPT用了一个极有说服力但过去几十年人类都没有想到的思路来解决这个问题，是非常有创造性的，改变了人们认为LLM只能解决验证和搜索问题的看法。
Gowers最近应该是跟OpenAI有合作。前两天我在隔壁版就提到了，他上周发了个文章介绍了他用GPT花了一个小时做出一个他认为是PhD level研究的事儿。
他在Twitter上说，如果AI的发展速度还是这么快，大学的数学系都有责任正视一个危机，就是
A lot of young people who have deeply invested in a career that may not exist in a few years’ time.
【 在 dapao244 的大作中提到: 】
: 哈哈哈，
: 如何证明AI的结论，
: 是正确的呢
: 【 在 xeh 的大作中提到: 】
: : openai通用推理模型推翻了80年未获证明的数学猜想，震惊了菲尔兹奖得主一、埃尔德什单位距离问题的难度：离散数学界的标 ...
--
修改:Oliver87 FROM 114.246.238.*
FROM 114.246.238.*

【 在 Realpig 的大作中提到: 】
: 目前的大模型非常吃提示词
: 不如公布是谁在具体操作
:
: 这样新闻爆炸性会降很多，标题就不传奇了
:
: 【 在 xeh 的大作中提到: 】

--发自 ismth(丝滑版)
--
FROM 114.246.238.*

发gpt的聊天链接会被屏蔽
简单说就是一个哥们在关了web search的前提下，让GPT提供一些解决这个问题的思路，然后选了新闻里那个方向就走出来了。即便没这个新闻，每个方向做个分支也不麻烦。
这个事儿就没必要纠结提示词了。

【 在 Realpig 的大作中提到: 】
: 看不到图，大哭
:
: 【 在 Oliver87 的大作中提到: 】
: --
:
: FROM 77.133.250.* [法国]

--发自 ismth(丝滑版)
--
FROM 114.246.238.*

对，小沈阳岳云鹏也不行

【 在 Realpig 的大作中提到: 】
: 这个哥们是谁能接住呢
: 比如jumping放在他座位上肯定不行吧
:
: 【 在 Oliver87 的大作中提到: 】
: : 发gpt的聊天链接会被屏蔽
: : 简单说就是一个哥们在关了web search的前提下，让GPT提供一些解决这个问题的思路，然后选了新闻里那个方向就走出来了。即便没这个新闻，每个方向做个分支也不麻烦。

--发自 ismth(丝滑版)
--
FROM 114.246.238.*