 
- 积分
- 10135
- 威望
- 1451 点
- 铜板
- 5734 枚
- 西秦金币
- 0 个
- 鲜花
- 1 朵
- 在线时间
- 307 小时
- 注册时间
- 2020-9-17
|
GPT 又证明一个千禧年数学难题！90 年未决被 AI 攻破，人类何以自处
2026年9月8日，OpenAI往数学圈扔了颗炸弹。一个比GPT-6 Astra还强、至今没公开的内部模型，带着大约一万个AI智能体连轴干了88小时，甩出一份166页论文，外加一套能在Lean定理证明器里逐行跑通的代码。它要证的，是纳维—斯托克斯方程。
分量得先压住。这道题是克雷数学研究所2000年挂出的七大千禧年难题里的一道，悬赏100万美元。二十六年来，人类数学家只啃下其中一道——庞加莱猜想，署名佩雷尔曼。
可OpenAI自己先把台阶下了：这钱不领。纽约大学的教授巴克马斯特把那几十页符号翻来覆去看了很久，转头公开抛出一问：这模型，究竟有没有偷看过他们正在写的草稿？
01 一道让数学家念叨了近九十年的题
时间线得从更前面摆。这个新模型8月28日才开训，头一批智能体干了四天有余，9月5日就摸到了解法。之后又花17小时，把整份证明改写成计算机能逐行核验的形式化代码。
这道题到底在问什么。它刻画的，是流体在时空里怎么流动，气流、水流、湍流背后都站着它。数学上悬着的那根刺是——一团原本光滑的流体照着方程往下演化， 解会不会在有限时间里“爆掉” ，冒出无限剧烈的局部变化。
这个问题挂在数学界心头将近九十年。
题目给了四条通关路：要么证明解永远光滑下去，要么亲手举出一个真会发散的反例。二选一，走通任何一条都算数。
换句话说，OpenAI这一次迈过的，是人类顶尖大脑守了快一个世纪的那道关。
02 88小时不是一个人在算，是一支智能体大军
拆开这88小时，胜负手不在某个模型多灵光，而在怎么组织。大约一万个AI智能体分组作业，每个都能读缓存里的互联网资料、自己跑代码，还能在组内互相讨论。
近一百个智能体先花了大约50小时，啃下前置关卡——在不带外力情形下，三维欧拉方程的有限时间奇点。这相当于先打穿纳维—斯托克斯的前哨，主力才掉头转进正题，由Codex把各路思路汇总交叉分发。
资源账也得摆出来。据36氪援引的披露，这一轮前后烧掉约1300亿个token。人类数学家动辄数年的推演、试错、推翻重来，被塞进了一条不到四天的并行作业线。
上一次在数学史上封神，是另一番光景。2003年佩雷尔曼证出庞加莱猜想，是一个人在圣彼得堡一间小公寓里写了三年，写完把论文挂在网上就消失了，菲尔兹奖章与百万美元奖金一概没接。
做数学证明，头一回被拆成 找资料、跑代码、做验证的流水线 。有个广为流传的轶事：海森堡说真见到上帝，想问两件事，相对论和湍流，他赌上帝只能答得上来第一件。
湍流的核心方程之一，正是纳维—斯托克斯。人类在这块骨头上磨了一百年，如今被一个模型率先撬开一道口子。OpenAI称这是通用AI走进科学发现的信号，当然，仍待数学界独立检验。
03 先泼两盆冷水，再问AI算不算真懂
最容易被耸动标题带偏的一处，得先说死： 它并没有“彻底攻克”经典问题 。
它走的是克雷题目里C、D两个方向——人为构造一个外力，使光滑解挨不到有限时间终点。它并没有证明，没有外力的时候，解一定永远光滑。
正因为如此，OpenAI自己挑明了不申领那100万美元，这并不是原题要的经典情形。数学界同行要做的功课，是把那166页论文和Lean代码带回去逐行做独立核验。
第二盆冷水浇在优先权上。纽约大学的教授巴克马斯特，和在Anthropic共事的数学家阿尔普格，从2025年9月起私下搭伙攻欧拉方程爆破解，8月15日已经拿下三维欧拉方程的结果，并完成了Lean验证。
因为过程中曾用Codex处理对话草稿，巴克马斯特公开质疑：OpenAI的训练数据有没有碰到这批尚未发表的材料。OpenAI回应称没查看他们的成果，更没调取特定用户的资料。
但它也承认，没法百分之百排除自家产品数据曾以某种途径进过训练集。据36氪报道，9月7日巴克马斯特与陶哲轩还通过半小时电话，双方至今各执一词。
最扎人的追问随之而来：AI不过是在已有公理里做组合搜索，谈什么“自己做数学”。
可把话反过来——不论它算不算“真理解”，结果就摆在那儿：它交出了人类近百年都没走通的那串证明。据科技日报，陶哲轩9月9日只留下一句：“好问题，将要比好答案更稀缺。”
04 当证明变便宜，人剩下的位置是什么
把三件事叠在一起看——88小时的流水线、自我划界不走经典版本、还有偷看草稿的拉扯——它们指向同一件事：搞数学的成本账已经翻篇。
从前顶尖大脑的身价，一半押在亲手把证明一步步推出来。这一半，如今被一支智能体大军几天碾平。
还有一层更微妙。OpenAI自己承认，它是先听说有人或许已摸到这条路才下场猛攻的。换句话说，AI不需要知道答案，只要摸清哪条道有戏走得通，就够了。
真正稀缺的东西于是浮出来。不是算得快不快，而是选哪个问题、往哪个方向押注，外加对证明之美的那点鉴赏力。这正是陶哲轩那句“好问题”的分量，也是受访教授反复提到的审美与选题。
这倒不是说数学家要丢饭碗。而是顶尖大脑的位置， 正从解题者往提问者的位置挪 。人类刚摸到一个方向的边缘，智能体大军随时可能压上来，把它走通。
最后停在一个画面上。那张铺满符号的证明稿纸上，最后一行由AI写下；立在桌旁的数学家没有抬手鼓掌，他翻向下一个尚无人发问的问题。
] |
|
雷达卡
发表于
提升卡
置顶卡
变色卡
千斤顶
显身卡
楼主
