10月27日凌晨，OpenAI官宣了三件事，每一件单拎出来都够学术界消化一阵子：AI证明了适用于所有维度的局部光滑猜想（顺带解决了挂谷猜想和斯坦因限制猜想）；AI推翻了长期被广泛接受的指数时间假设（ETH）；AI还给出了量子色动力学和杨-米尔斯理论的严格数学存在性证明——最后这项，涉及世界七大千禧年数学难题之一。
我把财联社、IT之家几家的报道挨个翻了一遍，最想弄清楚的只有一个问题：AI说它推翻了人类几十年的共识，凭什么信？
先说ETH是什么，被推翻意味着什么
指数时间假设，通俗讲就是：有一类计算难题，随着问题规模变大，运算量会不可避免地爆炸式增长，再聪明的算法也救不回来。这是计算机科学领域长期普遍认可的一个"天花板"式判断，大量算法研究都以它为前提。
现在AI说这个假设是假的。意味着什么？意味着未来有可能找到运算效率更高的算法——那些被认为"注定算不动"的问题，也许根本没有注定。
数学那边同样硬：局部光滑猜想是1991年数学家克里斯托弗·索格提出的，2019年才有古思、王虹和张睿翔证明二维情形，2025年王虹与扎尔证明三维挂谷猜想。而这次OpenAI的模型直接给出了所有维度下的证明，关键是一种新构建的辅助偏微分方程。时间线也很扎眼：10月18日AI生成证明，第二天就完成了Lean形式化验证。
这次为什么不一样
过去两年，"AI做出数学题"的新闻我们见得太多了，多数是奥数竞赛、基准测试，本质上是"人类出过的题，AI答得快"。这次的不同在于三点。
第一，不是答题，是发现。OpenAI自己的表述是：AI独立发现并证明复杂科学理论，而不只是回答问题或辅助研究。推翻一个被广泛接受的假设，和做对一道有标准答案的题，是两个物种。
第二，有机器背书。数学和计算机科学的成果已通过Lean数学验证工具完成形式化核验，证明材料已公开。Lean是什么？你可以理解为"数学界的编译器"——证明写成形式化语言，每一步推理机器逐行检查，不给"看起来对"留任何空间。AI会一本正经胡说八道，但Lean验证过的证明，逻辑链条上没有幻觉的容身之处。
第三，OpenAI自己留了余地。物理学成果正由诺贝尔物理学奖得主等专家参与评审，官方明确说了：相关成果仍需学术界进一步独立确认。没有把话说满，这反而增加了可信度。
普通人能从中学到什么
说实话，挂谷猜想跟你我没什么关系。但这件事给出了一个信号：AI正在从"帮你干活的工具"变成"替你发现新东西的助手"。今天它推翻的是ETH，明天它可能就在你所在的行业里，找到那个所有人都以为"没办法"的问题的新解法。
那作为普通人，面对满天飞的"AI重大突破"新闻，怎么快速判断真假？给你一套我自己在用的三步核对法，建议收藏：
- 看验证方式：有没有第三方核验（Lean、同行评审、公开证明材料）？只有一家公司自己说，先打个问号。
- 看官方口径：说满话的（"彻底改变""碾压人类"）多半是营销；留余地的（"仍需独立确认"）反而更可信。
- 看时间线：成果哪天产出的、哪天完成验证的、哪天官宣的——节奏自然才正常，"一夜之间全搞定"的要警惕。
这套方法不只适用于AI新闻，任何领域的"重大突破"都能套。
我自己维护了一个AI工具站 spark1.cn，里面的 /tools/ 频道收录了近百个经过筛选的实用工具——与其追着每条大新闻焦虑，不如挑一个真正用得上手的，从容地把它变成自己的生产力。
评论