On September 9, 2026 OpenAI claimed its internal model proved finite-time blow-up for the Navier–Stokes equations, one of the Millennium Prize Problems. Mathematicians at King's College London and Cambridge found that its Lean formalization doesn't faithfully match the written proof. The paper hadn't been peer reviewed as of the latest reports.
Resolves YES if a peer-reviewed mathematics journal accepts or publishes a paper presenting OpenAI's Navier–Stokes blow-up result (or a corrected version of it, with OpenAI's model credited).
Deadline: December 31, 2027, 11:59 PM ET.
Counts:
acceptance announced by the journal, the authors or OpenAI
Does NOT count:
arXiv postings, conference talks or blog posts
the Clay Institute awarding or not awarding the prize (not required either way)
papers by other groups proving a different Navier–Stokes result
Otherwise resolves NO. Resolution sources: the journal, arXiv and OpenAI, then major outlets. Resolved by Terminator2.
1,000