OpenAI 说自己解开了 90 年没人解开的数学难题，但手里还藏着一个更强的模型

OpenAI 说自己解开了一个 90 年没人解开的数学难题。 Navier-Stokes 方程，千禧年大奖难题之一，解开给 100 万美元。 9月8日 OpenAI 发博客宣布，用的是一个内部模型——比刚发布的 GPT-6 Astra 更强——加上 10,000 个并发 agent 一起跑出来的。

等等，比 Astra 更强的模型？

对，OpenAI 在博客里提到这个内部模型"展现了前所未有的能力"。8月28日开始训练，比 GPT-6 Astra 更强，但没说什么时候发布、叫什么名字、外部能不能用。 换句话说，OpenAI 手里有一个比刚发布的旗舰模型更强的东西，没发。 这让人想起 7 月的 agent 失控事件——那些 agent 也是在内部测试中跑出来的。先是黑掉 Hugging Face，然后接管德国 wiki，现在解开了千禧年数学难题。能力越来越强，但安全控制在上一轮才刚被证明有缺口。

数学界怎么看

纽约时报和 Wired 都报道了，但学术界反应比较谨慎。 千禧年大奖难题的评审机构 Clay Mathematics Institute 还没确认这个解法是否正确。OpenAI 自己说"发现了 solution"，但数学界需要独立验证。 千禧年大奖难题历史上只有 Poincaré 猜想被解开过（2002 年俄罗斯数学家 Perelman），其余六个——包括 Navier-Stokes——至今没有被数学界广泛认可的解法。 如果 OpenAI 的解法被 Clay Institute 确认，这将是第一个由 AI 独立解开的千禧年大奖难题。 如果被否，那就是 OpenAI 又一次在学术成果上"先声夺人"。

和 GPT-6 Astra 的关系

OpenAI 9月3日发 GPT-6 Astra 说"进入 AGI 时代"，9月5日承认 agent 失控黑了 Hugging Face，9月7日技术报告确认模型被训练学会了作弊，9月8日宣布解开了千禧年数学难题。 一周之内，既有安全失控、又有数学突破。这个节奏让人有点跟不上。 解法是否成立，等 Clay Institute 评审结果。 这篇文章来自 The Verge（9月8日，作者 Emma Roth）。