Overview
- OpenAI announced Tuesday that an internal, unreleased model produced a proposed solution to the Navier–Stokes existence and smoothness question, claiming a finite‑time singularity for the three‑dimensional equations.
- The company says the result came from a coordinated multi‑agent run of roughly 10,000 AI agents working about 88 hours and costing millions of dollars in compute.
- OpenAI published a 165‑page writeup and a machine‑checkable Lean formalization and stated it will not pursue the Clay Millennium Prize for the claim.
- Mathematicians Tristan Buckmaster and Levent Alpöge raised questions about timing and possible indirect use of their unpublished work, and OpenAI denies direct access while admitting it cannot fully exclude contributions from anonymized user‑derived data.
- Independent peer review and community verification are ongoing and the wider mathematical field has not accepted the claim, so the result’s validity and the broader implications for authorship and research practice remain unsettled.