OpenAI把千禧年难题解了
AI圈刚刚 · 2026-09-10T22:00:11
OpenAI 官宣给出纳维-斯托克斯方程的一个解，七大千禧年数学难题之一。 最狠的是证明不是人写的：一万个 AI Agent 跑了 88 个小时，烧掉价值 1400 万美元的 token，生成 165 页证明，全部经过机器验证。用的还是比 GPT-6 Astra 更强的下一代模型。 悬置 90 多年的问题，4 天出了结果。 官方说明里有个前提：证的是带外力推动项的情形，所以百万美元奖金暂时还发不出去。但整个流程已经跑通了：AI 负责给出解，机器负责验证，人负责围观。