纳维-斯托克斯方程这个千禧年难题，忽然被AI捅开了一道口子。纽约大学教授Tristan Buckmaster与Anthropic数学家Levent Alpöge用Codex和Claude取得了初步进展，OpenAI紧接着抛出一份完整证明，说是由一个尚未发布的新一代模型独立发现，研究从9月1日开始，烧掉3000亿个输出Token，按Astra价格折算约2250万美元。数字很惊人，但更惊人的是时间线：为什么OpenAI的“完整证明”偏偏出现在别人拿到初步结果之后？
OpenAI声称模型从零开始推导，没参考任何外部进展。可Buckmaster这边显然不买账，相关阅读里那句“不正当竞争”已经撕破脸。Bubeck的否认没有平息质疑，反而让矛盾更清晰：一边是数学家拿着已有工具做开放探索，一边是实验室握着秘密模型闷声抢首发。Codex数据复现上的疑点也被人翻了出来——你用AI证明了什么并不难说清楚，难的是证明你什么时候、用什么输入得到的结果。
更值得玩味的是Thomas Wolf那句冷水：这更像反例搜索，而非完整证明。3000亿Token砸出一个可能连同行评议都还没过的结果，究竟是数学突破还是公关事件？AI介入数学研究的利益边界正变得模糊。当推理成本以千万美元计，当未发布模型优先于学术伦理发挥作用，我们得问一句：千禧年难题的破解，到底该属于全人类，还是属于那个先按下“生成”键的公司？
