←── back to feed
/topics/openai-navier-stokes-millennium-prize-problem-claim
OpenAI Navier-Stokes Millennium Prize Problem claim
18 items●3 sources●updated 11d ago●trend 0
OpenAI announced it has solved the Navier-Stokes existence and smoothness problem, one of seven Millennium Prize Problems, using an internal AI model more powerful than GPT-6 Astra and 10,000 concurrent agents over 88 hours. The announcement has been overshadowed by accusations of plagiarism and impropriety from academics, with disputes over data usage and academic credit.
- OpenAI used 10,000 concurrent AI agents to solve Navier-Stokes in 88 hours with $15M computational effort
- Solution employed 130 billion output tokens and an internal model exceeding GPT-6 Astra capabilities
- Navier-Stokes is one of seven Millennium Prize Problems, each carrying a $1 million Clay Mathematics Institute reward
- NYU mathematician and other academics accused OpenAI of fighting dirty and improper conduct in the race for proof
- Controversy centers on data usage practices and questions about what 'improving model performance' actually means
[HN]hacker news3
OpenAI has solved the Navier-Stokes Millennium problem using $15M of AI effort
Navier–Stokes, AI and the future of research in mathematics [pdf]
OpenAI's apparent maths breakthrough raises profound questions
[BLG]blog/rss9
What OpenAI’s latest controversy tells us about the future of math
OpenAI faces competing claims around maths breakthrough
OpenAI claims to have solved maths problem that stumped humans for decades
Anthropic and OpenAI bankers push for top-tier credit ratings post-IPO
OpenAI Says It Has Cracked One of Math’s ‘Millennium Problems’
Drama swirls around OpenAI’s legendary mathematical milestone
OpenAI fought dirty on career-making math problem, says NYU mathematician
What Is Navier-Stokes, the ‘Millennium’ Math Problem OpenAI Claims to Have Solved?
OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul
[BSKY]bluesky6
Wrote up my thoughts on the whole OpenAI Navier–Stokes Millennium Prize Problem story, and how it highlights the still confusing question of what using my data "to improve model performance" actually means
Quick, spread some rumors about other really hard problems that Anthropic is on the verge of solving.
The breakthrough that solved Navier-Stokes in 88 hours used 130 billion output tokens. It seems clear that other breakthroughs will be possible, especially as models get better.
This is a VERY big one.
Weakly General AI achieved (at least according to the criteria set in Metaculus in 2020) & a year before the most recent predictions:
Another informal nerd benchmark that AIs had struggled with has been passed: Astra successfully designed a Magic the Gathering deck and then used it to defeat a bot on Arena.