Overview
- OpenAI announced Tuesday that an internal, not‑public model produced an analytic proof claiming three‑dimensional Navier‑Stokes equations can develop a finite‑time singularity.
- The result was produced by a coordinated multi‑agent system running roughly 88 hours with about 10,000 concurrent agents and was formalized into a 165‑page Lean proof.
- OpenAI said it will not pursue the Clay Mathematics Institute prize and released the documentation so independent mathematicians and journals can vet the argument.
- Researchers Tristan Buckmaster and Levent Alpöge raised concerns that their AI‑assisted, unpublished drafts may have influenced the outcome; OpenAI denies direct access but says it cannot completely rule out effects from anonymized training signals.
- Mathematical validation remains pending because independent peer review and the Clay Institute’s formal multi‑year evaluation are still required, and the case is prompting wider questions about attribution, data use, and how AI will change mathematical practice.