OpenAI Claims AI Solved a 90-Year-Old Math Puzzle. Rivals Aren’t Convinced
What Happened
OpenAI says an internal AI system using 10,000 AI agents solved the long-unsolved Navier-Stokes math problem in 88 hours. However, the proof has not yet been independently verified or accepted by the Clay Mathematics Institute. Meanwhile, NYU mathematician Tristan Buckmaster, who was working on the problem with Anthropic researcher Levent Alpöge, disputes OpenAI's account and questions the timing of the breakthrough. OpenAI denies using their unpublished research.
Key Takeaways
If verified, the result would be a landmark achievement for AI-driven scientific research. But for now, the debate is as much about proof verification and credit for the discovery as it is about the mathematics itself.