← Back to live feed1 story
We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Sign in to suggest edits
Key sources
- DISCUSSIONni5argalobste.rs
- SOURCEopenai.com
- SOURCE@andrewcurran_“The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.”x.com
- SUPPORT@markchen90“Many of my colleagues left their fields because they believed that working on AI would be the fastest way to solve their fields' grand challenges.”x.com
- SUPPORT@wallstengine“OpenAI says the 165-page proof has also been formalized and computer-verified, though outside mathematicians still need to independently validate the result.”x.com
- SUPPORT@unusual_whales“Tristan Buckmaster has reportedly accused OpenAI of developing an unverified Navier-Stokes breakthrough using data and approaches extracted from his private Codex research sessions, per TC”x.com
- SOURCE@artemr“While unlikely, we cannot rule out that de-identified data derived from their usage of our products helped improve our models.”x.com
- SUPPORT@boazbaraktcs“He reached out to Alpöge and Buckmuster under the (mistaken) belief that they have also solved the Navier-Stokes problem, in order to coordinate publication and to avoid scooping them.”x.com