Turbulence researcher, Johns Hopkins University
Appears in 1 story
Last updated Sep 20, 2026
As of September 2026: Questioning how credit should be assigned to AI proofs
OpenAI says its AI agents proved that the Navier–Stokes equations—used for two centuries to model liquids and gases—can break down and predict infinite speeds. The company verified the proof in Lean, a formal proof-checking language. The claim carries a $1 million Millennium Prize reward, which OpenAI says it will not collect.
Updated Sep 20
No stories match your search
Try a different keyword
How would you like to describe your experience with the app today?
