#OpenAI宣布攻克千禧年难题#OpenAI最近都在憋大的。
当地时间8号，他们对外宣布：一款还没发布的内部大模型，联合大约一万个AI Agent，88小时，把克雷数学研究所七大千禧年难题之一的纳维-斯托克斯方程存在性与光滑性问题给拿下了。甩出166页论文，还有配套的Lean形式化验证代码。

确实牛逼。但作为一个吃瓜群众，还是先看。

第一，数学这东西，从来不是谁喊一声"我证出来了"就算的。得同行评审，得有人一行一行看懂你的推导。
166页论文刚放出来，现在全世界能读懂的人可能不超过两位数，而这里面到底有没有一个隐藏的错误假设，谁也说不准。

第二，Lean验证通过不等于数学上成立。形式化只保证"代码逻辑自洽"，前提是你把命题翻译对了。翻译这一步出问题，后面全白搭。

第三，也是最现实的一点：模型没公开，Agent协作流程没公开，别人复现不了。
科学的基本要求就是可重复，你说一万个Agent跑了88小时，那这88小时里它们有没有互相抄作业、有没有人在中间打补丁，外人只能听你讲。

所以现在这事的定性，我觉得应该叫"OpenAI宣布了一个待验证的成果"，距离"攻克千禧年难题"还差几轮同行评审。
克莱研究所那100万美元到现在没吭声，本身就是个态度。

如果这真要是成了，那确实是人类数学史上的一次地震，AI的重要性将再一次被强化。