OpenAI Claims AI Solved Millennium Problem
OpenAI's artificial intelligence system has solved one of the seven 'millennium problems' — the problem of existence and smoothness of solutions to the Navier-Stokes equations.
Consensus
- OpenAI claimed its AI solved the Navier-Stokes problem, one of the seven Millennium Prize Problems.
- The AI used approximately 10,000 agents working for about 88 hours to find the solution.
- An additional 17 hours were spent formalizing and verifying the proof using the Lean system.
- The Navier-Stokes equations describe fluid motion and are central to fluid dynamics.
- The problem remains officially unsolved according to the Clay Mathematics Institute.
- The only solved Millennium Prize Problem is the Poincaré Conjecture, proven by Grigori Perelman.
- OpenAI stated that its employees and AI agents did not access the mathematicians' work before publication.
- OpenAI acknowledged that anonymized data from user interactions with its products might have influenced model training.
Points of divergence
- Two mathematicians, Tristan Bagemaster and Levant Alpoge, believe OpenAI used their unpublished results and that OpenAI employees threatened Bagemaster with career destruction. — meduza
- Tristan Bagemaster claims OpenAI researcher Sébastien Bubeck proposed excluding Levant Alpoge from authorship due to his work at Anthropic. — tg_tvrain
- Sébastien Bubeck allegedly told Bagemaster that if he didn’t want him to be kind, he could stop being kind. — tvrain
- The AI's solution was based on an unpublished work by a mathematician from New York. — riamo
- OpenAI initiated the project after hearing rumors about progress by Bagemaster and Alpoge. — meduza
- OpenAI used a new internal model not available to subscribers. — tvrain
Coverage (4 sources)
- OpenAI stated that its AI solved one of seven mathematical 'thousand-year problems' — РИАМО
- OpenAI stated that its AI agents solved one of seven 'millennium problems'. Two mathematicians admit the company used their work results. And claim that OpenAI employees threatened them — Meduza
- OpenAI stated that its model solved one of seven 'millennium problems'. Mathematician suspected that they used... — Дождь (Telegram)
- OpenAI stated that its AI solved one of seven 'millennium problems' — Дождь