AI Solves 90-Year Math Mystery in 88 Hours

A math problem so difficult it's remained unsolved since the 1930s just met its match in the form of 10,000 AI bots working as a team.

OpenAI announced this week that its new artificial intelligence model cracked part of the famous Navier-Stokes equations in just 88 hours. The equations describe how fluids move, from water flowing through pipes to air currents creating weather patterns.

The problem stumped mathematicians for 90 years because certain aspects lacked a mathematical proof, the logical foundation that proves an equation works. The Clay Mathematics Institute even offered a million dollar prize to anyone who could solve it.

OpenAI trained a new AI model in late August that showed strong abilities in mathematics. When researchers heard rumors that someone might be close to solving Millennium Prize problems, they decided to put their model to the test on Navier-Stokes.

The AI bots exchanged nearly 3 million messages and generated 130 billion lines of text and code to reach their solution. Working around the clock, they solved two of the four statements needed for a complete proof.

The breakthrough could help scientists better understand turbulence, a phenomenon that affects everything from airplane design to weather prediction. OpenAI says it won't claim the prize money and released the findings to demonstrate how quickly AI capabilities are advancing.

The Bright Side

This story highlights how AI and humans might work together to unlock scientific mysteries. Rather than replacing human mathematicians, these tools could accelerate research that improves our daily lives.

Some controversy emerged when mathematician Tristan Buckmaster said he and a colleague were also working on the problem using OpenAI's tools. OpenAI responded that their approaches and solutions differ significantly, and they congratulated Buckmaster on his concurrent work.

The solution still needs independent verification before the mathematical community officially accepts it. But the speed of the breakthrough suggests AI might become a powerful partner in tackling problems that seemed impossible for humans working alone.

Whether OpenAI's proof holds up under scrutiny, the attempt shows how technology is opening new doors in scientific discovery.