OpenAI千禧年数学证明大反转：AI能写答案，人却看不懂

到底发生了什么

OpenAI今年9月宣布：它用AI证明了纳维-斯托克斯方程的一个版本，答案是可以出现奇点，也就是流体在有限时间内爆破。

这道题2000年被克雷数学研究所列入七大千禧年难题，悬赏100万美元。

当时OpenAI对外说，证明沿用了两名西班牙数学家Diego Córdoba和Luis Martínez-Zoroa提出的研究路线。

一个多月后，《科学美国人》采访了多个研究这份证明的专家团队。他们啃完166页的证明后发现：OpenAI实际用的方法，跟西班牙路线完全不同。

瑞士洛桑联邦理工学院数学家Gonzalo Cao-Labora直接说：深入研究具体细节，就会发现这是一种不同的方法。

更离谱的是，OpenAI自己也没搞清楚模型是怎么做出来的。它最初用规模较小的Agent团队完成了一个中间证明，后来扩大到约1万个Agent的系统，才换了一条路完成最终证明。

OpenAI已经公开否认模型通过训练接触过其他研究者的数据，但外界无法独立核查。

普林斯顿高等研究院数学家Camillo De Lellis认为，这场争议恐怕很难有明确的事实性结论。

这对你意味着什么

这件事跟你做账号、开店有什么关系？关系很大。

它暴露的是AI应用里一个躲不开的问题：工具能给你结果，但结果怎么来的，可能没人说得清。

OpenAI不是没验证。系统生成了对应的Lean形式化代码，可以逐步检查数学推导是否成立。

但程序员检查推导，不等于人理解了其中的数学思想。Lean不会告诉你这套方法为什么有效、跟已有研究有什么联系、能不能推广到别的题。

所以数学家们还得借助其他大语言模型，重新梳理这份证明。

你拿AI写文案、做脚本、选品的时候，见过一模一样的情况吗？账号数据突然好了，你复盘不出是哪一步起了作用；投流模型跑出来一个方案，你说不清它为什么这么投。

零一时代新媒体实训中心在天津做了7年新媒体实操，课上反复跟学员强调一句话：AI给的是初稿，不是答案。你得知道它好在哪、错在哪，才敢往店里用。

这件事还有一个信号：AI生成内容的速度，已经明显超过了人理解它的速度。

OpenAI在数学家还没啃完这道题时，又一口气公开了722篇数学手稿，涵盖372组研究成果，涉及霍奇猜想、准黎曼猜想、BSD猜想等重大数学问题。

以陶哲轩为代表的数学家多次表示，AI生成新证明的速度远远超过人类理解、消化的速度。

放到你的生意里：AI一天能给你出100条选题、50版详情页文案，你的判断力跟得上吗？跟不上的话，跑得越快，翻车越快。

比如短视频获客，AI能把脚本写得工工整整，但镜头前面那句话是不是你的客群爱听的，只有你清楚。

接下来可以怎么做

• 用AI出结果之后，加一步人工复盘：这个结论的依据是什么，换成别的产品还成立吗。
• 别把AI当权威。它给的数据、案例、引用，先自己去核一遍再往账号上发。
• 建一套自己的验证清单：能落到具体数字的留下，全是形容词的删掉。
• 控制使用节奏。一次只让AI解决一个具体问题，不要一次扔给它十个任务再看结果。
• 如果你是天津实体店，先拿AI做最接近成交的那一步：写团购话术、拆竞品评价，别一上来就做全案。

京津冀不少中小企业老板的痛点不是工具不会用，而是用完不知道对不对。零一时代新媒体实训中心开的四门课里，AI应用就是专门讲这一步，学员多是天津实体店和夫妻店老板。

新手最常问的 3 个问题

问：AI都能证明千禧年难题了，我学AI应用是不是晚了？

答：不晚。顶级AI做的题跟你做的事差着十万八千里。你的场景是获客、转化、复购，这些恰恰需要人来判断。

问：AI说的我不懂，是不是就说明我不该用它？

答：OpenAI这次的情况是，它自己也没搞懂。不懂不可怕，装作懂才可怕。不懂就核，核到懂为止，再往店里搬。

问：我做实体店，需要关心AI证明数学题这种事吗？

答：需要关心的是它背后的趋势：AI能力在快速超过人的理解速度。你要做的事是把自己的判断标准先立起来，再让AI帮你跑量。

纳维-斯托克斯这道题还没完，数学家至今没完全理解OpenAI给出的证明。这件事本身就是提醒：工具越强，你自己的判断越值钱。