Technology
AI reportedly solves million-dollar Navier-Stokes math problem, sparking dispute
Scientific American reports that artificial intelligence has tackled the equations, though mathematician Tristan Buckmaster alleges OpenAI rushed the credit.
The short version
- Artificial intelligence has reportedly solved one of mathematics' six million-dollar problems by demonstrating that the Navier-Stokes equations can blow up.[Scientific American]
- Mathematician Tristan Buckmaster alleges that OpenAI used an internal large language model to complete the proof after hearing rumors about his and Levent Alpoge's method.[Scientific American]
- Buckmaster claimed a phone conversation with OpenAI math team lead Sébastien Bubeck grew contentious over paper authorship, while OpenAI did not immediately respond to inquiries.[Scientific American]
- Mathematicians debate whether the proof relies on a loophole, leaving it uncertain if the equations are considered truly solved.[Scientific American]
Key facts
- Artificial intelligence has reportedly solved the Navier-Stokes equations, one of the six million-dollar problems in mathematics.[Scientific American]
- Mathematician Tristan Buckmaster alleged that OpenAI leveraged an internal model to complete the proof after word of his and Levent Alpoge's work leaked.[Scientific American]
- Buckmaster claimed an exchange with OpenAI math lead Sébastien Bubeck grew hostile regarding credit and included career warnings.[Scientific American]
- The underlying mathematical method relies on a technique called forcing developed by Diego Córdoba and Luis Martínez-Zoroa.[Scientific American]
- OpenAI did not immediately respond to requests seeking comment.[Scientific American]
What remains uncertain
- It remains uncertain whether the proof can function without the specific forcing element, prompting questions over whether the problem is genuinely solved or merely bypassed via a loophole.[Scientific American]
Sources
Outlet counts describe coverage, not independent confirmation. Reports may share a wire service or original source.
- AI may have just solved a million-dollar math problem. The field will never be the sameScientific American metered