GPT证千禧难题，OpenAI没看懂就发了

论文翻译官 · 2026-10-16T11:41:26

纳维-斯托克斯方程，克雷千禧难题之一，悬赏100万美元。 术语先对一下，Navier-Stokes，流体力学里的核心方程。 千禧年大奖难题，克雷数学研究所2000年列出的7道题。 光滑性与解的存在性，就是问方程会不会在某个时刻爆掉。 OpenAI 9月8日官宣，内部未公开模型给出了解答。 据称调了约1万个并发智能体，跑了88小时。 中间产生270万条消息、1300亿输出token，9月5日拿到解。 耗资数百万美元。 还声明不去申那100万美元奖金，挺有意思吧。 随后GPT-6 Astra用17小时做完了形式化验证。 用的是Lean，一款自动检查数学证明对不对的程序。 成果对应克雷问题的C、D两项，允许平滑初态和平滑外力。 反转就藏在这两道条件里。 OpenAI发布时反复声称，用的是西班牙路线。 那是数学家Córdoba和Martínez-Zoroa提出的法子。 他们用平滑外力，把流体推进极端状态造出奇点。 Buckmaster与Anthropic的Alpöge，借Claude等工具参与进来。 8月15日，Boussinesq和Euler的光滑强迫爆破过了。 8月22日，Lean形式化验证也过了。 可《科学美国人》最新追踪发现，根本是两码事。 EPFL数学家Gonzalo Cao-Labora直言，深入研究细节就发现方法不同。 双方只是都利用了题面允许外力的C、D两项条件。 OpenAI当初也没真懂模型给的证明，就急着发了出来。 发布之后争议四起。 Buckmaster公开声明炮轰OpenAI抢跑，说他8月15日先拿下爆破。 陶哲轩等25位菲尔兹奖得主联名警示，AI快速产出的学术风险。 10月6日OpenAI放出722篇AI生成数学手稿，隔一天就撤了3篇。 原因是Hodge猜想论文的符号错误，Reddit网友拿Astra找出来的。 剑桥和伦敦国王的审计还指出，166页论文和Lean代码两套论证对不上。 维拉尼评价，这是至少四个世纪以来最根本的变革。 留下个判断，模型能写对的东西，人未必跟得上。 可克雷研究所，至今仍把这道题列为未解决。