远见网一、没想到进度条直接被AI拽飞了—— 5月破一个
1、没想到进度条直接被AI拽飞了—— 5
数学史级别的大新闻，愣是被OpenAI整成了一出连续剧。
刚被数学家指控抢成果，OpenAI紧急官宣：
一个尚未发布、能力显著超过GPT-6 Astra的内部模型，已经解决了
纳维–斯托克斯存在性与光滑性问题
。
陈立杰表示今年年初加入OpenAI时他还预测AI在2028年能解决千禧年难题，没想到进度条直接被AI拽飞了——
5月破一个，9月一次破俩。
而且吧，OpenAI话里话外还剧透了下一代模型：
为了做出这道题，OpenAI直接摇来约
2、1万个Agent 《科学美国人》上来
1万个Agent
《科学美国人》上来就是一句：
话都说到这个份上了，AI数学属于是直接一脚踹开历史大门了！
然而还没等数学圈把掌声送出去，事情就开始变得不太对劲……
不er，咱们刚才讨论的，真的是数学证明对吧？？？
先说说OpenAI到底证明了什么。
一个最开始平滑、正常的三维流体，在方程描述下，会不会永远保持平滑？
还是说，它可能在有限时间内突然出现“奇点”，让速度等数值冲向无穷大？
二、但数学家近百年来始终无法证明
1、后者在数学里通常被称为：有限时间爆破
。
而OpenAI这次给出的答案是：
真的会爆
。
88小时之后，证明出现了。
全程总计产生490万条Agent消息和约
3000亿
百万美元的题，用数百万美元的算力解出来……
OpenAI到底从哪里学会了这条路线？
他们走的，正是后来被OpenAI用于攻克纳维–斯托克斯的方向：
陶哲轩看完之后，也给出了相当高的评价：
“一项了不起的成就。”
翻译一下就是：
然后，问题来了。
当OpenAI给出的结果恰好也是这条少有人走的“平滑外力”路线时，Buckmaster立即警觉起来，并询问OpenAI：
内部模型是否访问过他们的Codex会话，或者是否在训练中使用了这些数据？
三、不过与它同时留下了一句非常微妙的表述
1、但无法排除两人使用OpenAI产品产
虽然可能性很低，但无法排除两人使用OpenAI产品产生的
去标识化数据
曾帮助改进模型。
好家伙，没有专门翻你的论文，但不保证模型没有从你使用产品留下的数据中受益……
AI助手用着用着，变成竞争对手了。
“把Anthropic的人从作者名单里拿掉”
接下来发生的事儿更火药味十足。
套
2、Alpöge就职于Anthropic
：
第二套
：
为啥呢？
原因很简单，
。
然后，对话开始逐渐从数学论文滑向硅谷商战片……
据Buckmaster转述，OpenAI反问Buckmaster
四、咱就是说偏微分方程没听懂
1、咱就是说偏微分方程没听懂
你为什么要毁掉自己的职业生涯？
Buckmaster人家也很纳闷，我是一个学者，把事实公开，怎么就叫毁掉职业生涯？
对方则回复
：
嚯，咱就是说偏微分方程没听懂，但这威胁的意思倒是挺光滑的（doge）
Sebastien强调，自己
从未要求将Alpöge从他和Buckmaster自己的欧拉方程论文中除名
。
2、其实还有一个问题
当时讨论的是另一个方案：
你们这个硅谷，还真是有节目。
OpenAI真把这道题解了吗？
这事儿吧，其实还有一个问题，OpenAI解决的真是大家平时理解的那道纳维–斯托克斯难题吗——
算是吧，但又不完全是。
这点没法硬说人家不算。
于是现在的局面就有点微妙了。
按照官方题面，OpenAI可能已经通关；
数学界那么多悬赏，还有多少会变成AI的电费呢？
