AI已达到王虹邓煜水平

OpenAI用500w美元解开七大千禧年数学难题之一，然后跟纽约大学数学家干起来了

1）OpenAI宣布，其内部AI模型解决了纳维–斯托克斯方程这一千禧年数学难题，并称还顺手解决了无外力三维Euler方程的正则性问题。

2）OpenAI听到有人可能解决该问题的传闻后，调动约1万个AI Agent，连续思考，仅约88小时就找到了纳维–斯托克斯方程的证明。

3）整个过程中发送约270万条消息，消耗约1300亿输出Token。随后又用约17小时，让GPT-6 Astra完成了Lean形式化验证。GPT6估算成本约300~500w美元。

4）事情之所以引发巨大争议，是因为纽约大学数学家Tristan Buckmaster与Levent Alpöge此前也已取得突破。他们证明了带光滑外力的Euler方程可以在有限时间内发生爆破。

5）数学家Buckmaster称，他们的研究路线源自Diego Córdoba和Luis Martínez-Zoroa此前的工作，并在LLM大量帮助下推进到光滑外力的Euler方程。他甚至认为Martínez-Zoroa配得上菲尔兹奖。

6）双方真正的冲突在于：OpenAI究竟是什么时候知道这条研究路线的？数学家Buckmaster称自己提前向OpenAI透露研究进展后，OpenAI才集中火力研究；OpenAI则称自己是听到更早的传闻后独立启动项目。

7）更敏感的是署名问题：数学家Buckmaster称OpenAI曾提出让他先发布Euler结果，随后OpenAI发布NS结果；甚至希望移除Anthropic员工Levent的作者身份。Bubeck则称这些指控“虚假且具有煽动性”。

8）科研竞争规则可能正在改变：过去一个数学家需要几年甚至几十年，现在AI公司可以调动上万个Agent和巨量算力，在几天内并行解题。

9）当AI可以在几天内完成过去数学家几年甚至一生的工作时，“数学家”这个职业本身，会不会开始发生根本变化？

PS：纳维–斯托克斯方程：
一组描述水流、空气等流体如何运动的偏微分方程，相当于流体世界的“牛顿定律”。它形式极其简洁，却精准统治着从茶杯搅拌到飞机机翼的所有流体现象。但难度逆天——之前一直无法证明，在任意初始条件下，方程的解是否永远保持“合理”（即是否存在光滑解）。一旦流体出现湍流（如搅动产生的漩涡），数学上就会陷入混沌。它是克雷数学研究所悬赏百万美元的“七大千禧年难题”之一，被誉为“隐藏在日常现象中的终极数学谜题”。