AI Claims Navier‑Stokes Proof

OpenAI says its newest model produced a formal solution to the Navier‑Stokes existence and smoothness problem, delivering a paper and a machine‑checked Lean proof after about 88 hours of computation and coordinating up to 10,000 AI agents. The work was extremely compute‑intensive and accompanied by an unreleased model and a public formalization. — If verified, this shifts epistemic authority (who can produce and check deep proofs), raises questions about reproducibility, compute‑access inequality, incentives for formal verification, and the governance of high‑value AI capabilities.