OpenAI 用约 1 万 agent 在 88 小时内产出纳维-斯托克斯证明
OpenAI 称用约 1 万个由比 GPT-6 Astra 更强的内部模型驱动的 agent 并行工作 88 小时，证明流体可产生奇点，再由 GPT-6 Astra 花 17 小时在 Lean 中形式化验证。
10,000 OPENAI AGENTS SOLVED A $1 MILLION PROBLEM IN 88 HOURS For nearly 90 years, mathematicians could not determine whether the Navier-Stokes equations can break down while describing fluid motion. -> Now OpenAI says it has found the answer. The company deployed around 10,000 agents powered by an internal model significantly more capable than GPT-6 Astra. They worked in parallel, exchanged 2.7 million messages and generated roughly 130 billion output tokens. The digital team produced a proof in 88 hours. The system showed that an initially motionless fluid can develop a singularity under certain conditions. Its velocity grows without bound within a finite amount of time. GPT-6 Astra then spent another 17 hours formalizing and verifying the result in Lean. The computation cost millions of dollars, but the company does not plan to claim the prize. The proof must also survive independent scrutiny from mathematicians. OpenAI just demonstrated a new model for scientific discovery. A single AI is no longer trying to replace one scientist. Thousands of agents can now form a digital research lab and compress decades of human work into days ↓
这条是引用着另一条写的：x.com/bytecarter_x/status/2114329003033317712