AI-generated submission claims solution to the Navier–Stokes Millennium Prize Problem, with a writeup and Lean formal proof; corroborating coverage notes controversy surrounding OpenAI's claim
Read the original at openai.com→We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
Original headline: "On the Navier–Stokes Millennium Prize Problem"
Coverage timeline
- Sep 8, 10:00 UTC OpenAI lead source On the Navier–Stokes Millennium Prize Problem
- Sep 8, 16:42 UTC Wired AI OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul
- Sep 8, 17:32 UTC TechCrunch AI OpenAI fought dirty on career-making math problem, says NYU mathematician
- Sep 8, 23:55 UTC Simon Willison Some thoughts on the Navier–Stokes Millennium Prize Problem
- Sep 9, 03:10 UTC MIT Technology Review AI What OpenAI’s latest controversy tells us about the future of math
- Sep 10, 01:25 UTC Hacker News (AI) OpenAI has solved the Navier-Stokes Millennium problem using $15M of AI effort