1万个AI智能体，88小时，烧掉1300亿tokens，花了大约1000万美金——OpenAI刚刚用这种近乎"暴力"的方式，啃下了一道困扰数学家90年的硬骨头：纳维-斯托克斯方程的存在性与光滑性问题。
9月8日，OpenAI对外公布了这份成果。一夜之间，全球数学圈炸了锅。
纳维-斯托克斯方程是个什么东西？简单说，它描述的是流体怎么运动。河水怎么流、空气怎么动、飞机为什么能飞、台风为什么能卷起巨浪，背后都是这套方程在管。100年来，物理学家和工程师每天都在用它，但数学上一直没人能严格证明它的"存在性和光滑性"——也就是说，方程的解到底会不会在某个瞬间突然"炸掉"、变得无穷大。
这个问题太重要了。它和7个"千年难题"挂在一起，谁能完整证明，谁就能拿到克雷数学研究所100万美金的奖金。90年了，没人能完整拿下。
OpenAI这次只解决了其中4个子问题里的2个，也就是说，奖金还拿不到。但仅仅是"用AI做出了新的证明"，就已经够让整个学术圈震惊。
怎么做到的？OpenAI先训练了一个新的内部模型，专门擅长数学推理。然后，他们把大约1万个AI智能体放在一起，让它们互相协作、自行分配任务，像一个临时的AI数学家团队，7×24小时干活。
几个关键数字：
(1) 1万个AI智能体同时在线，互相发送近300万条消息
(2) 88小时完成求解，平均每秒处理上百条推理请求
(3) 消耗1300亿tokens，相当于几十PB的文本计算量
(4) 按OpenAI自家定价，单纯算力成本约1000万美金
这种规模放在几年前是不可想象的。10年前要凑出这么强的算力，得调用超算中心；5年前要凑出这么多能"对话"的模型，得用几百张GPU训练几周；现在，OpenAI把它变成了一个"周六晚上按个按钮、等三天就有结果"的事。
但争议也跟着来了。
纽约大学数学教授Tristan Buckmaster公开表示，自己和Anthropic的数学家Levent Alpöge，也在用OpenAI的工具Codex做纳维-斯托克斯的研究。结果9月3日，他突然收到OpenAI的邮件，问他关于这个问题的进展——而OpenAI正式公布论文，是9月8日。Buckmaster认为，OpenAI是在"得知他们的工作之后"才决定下场做这个问题。
他的原话翻译过来就是：你不能说自己是第一个跑到终点的人，因为我早就起跑了，只是你比我先到了而已。
OpenAI的回应是：恭喜你们的"并行工作"，"我们没看到过你们的结果"，不过他们也承认，"不能完全排除OpenAI的工具在用户不知情的情况下，吸收了部分用户的研究思路"。
这场口水仗，本质上是AI时代一个绕不开的问题：当AI既能帮你做研究，又能让别人更快地做研究，学术原创性到底怎么算？
另一个细节：OpenAI明确说，自己不打算去领那个100万美金的千年奖金。换句话说，他们在乎的不是奖金，而是"我们能做出来"这件事本身。
这一点比100万美金更重要。它说明AI已经不只是写文案、画图、做PPT的工具了，它开始动真格地啃硬科学了。纳维-斯托克斯方程只是开头，下一个是黎曼猜想、是P vs NP，还是生命科学的难题？没人知道。
数学家们刚刚发现，他们面对的不再是"同行竞争"，而是一个不会累、不睡觉、花钱就能堆出算力的对手。
而我们普通人，只想问一句：接下来轮到哪个领域被"暴力破解"？