OpenAI 称约万个 AI agent 攻克纳维-斯托克斯问题
OpenAI 报告用约 1 万个 agent 在 88 小时内找到纳维-斯托克斯方程的反例构造，再由 GPT-6 Astra 用 17 小时在 Lean 中形式化验证，论文 166 页，Clay 尚未认定。
OPENAI REPORTS A SOLUTION TO A $1 MILLION MATH PROBLEM WITH AROUND 10,000 AI AGENTS. the problem is Navier Stokes, one of the seven Millennium Prize Problems. Clay allocated $1 million to each solution. the reported achievements: > about 88 hours from the first agents launching to reaching the Navier Stokes solution. > another 17 hours for GPT-6 Astra to formalize and verify the proof in Lean. > a separate result on unforced Euler equations, produced by nearly 100 agents working for approximately 50 hours. the proof discovery came from an internal OpenAI research model. Astra handled the subsequent formalization and verification. for Navier Stokes alone, the agents exchanged 2.7 million messages and generated approximately 130 billion output tokens. groups explored different approaches, while Codex consolidated useful intermediate results to guide further work. the mathematical result is specific: a flow starting from rest, under a smooth external force, can develop unbounded velocity in finite time while its kinetic energy remains bounded. OpenAI published a 166 page paper describing the construction. read the paper Clay still lists the problem as unsolved, so this is a reported solution awaiting recognition. current status the achievement worth examining is already public: the mathematical argument and the Lean formalization, with instructions for independent checking. inspect the proof repository
这条是引用着另一条写的：x.com/n01ennn/status/2096962591125905888