OpenAI 称其 AI 解出了约 90 年未解的 Navier-Stokes 千禧年难题，解由一个约 1 万个并发智能体的小组产出，所用内部模型能力明显强于 GPT-6 Astra。智能体 88 小时得到解，Lean 形式化与验证再由 GPT-6 Astra 花 17 小时完成，单是这一项就消耗 1300 亿输出 token。OpenAI 公开了证明与 Lean 形式化，内部模型仍在训练中。
材料给出了智能体攻关与 Lean 形式化验证的完整流程，读者可据此了解这一宣称结果如何被产出并接受机器核验。
Holy cow, its official! OpenAI says its AI has solved the Navier–Stokes Millennium Prize Problem, a mathematical question unresolved for roughly 90 years.
An internal model, described as significantly more capable than GPT-6 Astra, powered a group of around 10,000 concurrent agents (see the graph below! Its crazy more powerful than Astra)
The agents reached the solution after just 88 hours. Lean formalization and verification took another 17 hours via GPT-6 Astra.
The reported result: smooth three-dimensional fluid motion can develop a singularity in finite time under a smooth external force, while total energy remains finite.
OpenAI is sharing the proof and its Lean formalization.
130 billion output tokens went into the Navier–Stokes effort alone. The internal model is still training.
Welcome to the singularity!
We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.在 X 查看被引用的帖子
来源：@kimmonismus · x.com