AI Breakthrough Sparks Credit Fight Over Navier-Stokes Solution
TL;DR Summary
OpenAI announces an AI-generated solution to the Navier-Stokes equation, a 200-year-old unsolved math problem, with Lean-formalized proof and substantial computing costs. The claim is controversial due to allegations from Tristan Buckmaster and Levent Alpöge that they were ahead on related progress and that OpenAI sought to influence credit; OpenAI denies using their prompts or proofs. The dispute over authorship and AI-assisted mathematics continues as the story develops.
- OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul WIRED
- On the Navier–Stokes Millennium Prize Problem openai.com
- OpenAI's historic math solution overshadowed by credit controversy Axios
- AI may have just solved a million-dollar math problem. The field will never be the same Scientific American
- OpenAI Says It Has Cracked One of Math’s ‘Millennium Problems’ The New York Times
Reading Insights
Total Reads
0
Unique Readers
0
Time Saved
6 min
vs 7 min read
Condensed
95%
1,249 → 67 words
Want the full story? Read the original article
Read on WIRED