What happened
OpenAI announced its AI agents solved the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute's seven Millennium Prize problems, using about 10,000 agents and several million dollars.
Why it matters
NYU's Tristan Buckmaster and Anthropic's Levent Alpoge had advanced the same problem over nearly a year using publicly available models; OpenAI's effort reached the full system's proof in days, with resources academia could not match.
What to watch
The dispute hinges on whether OpenAI's model actually used the two researchers' work, which the company denies and which remains unclear. Watch how attribution norms between frontier AI labs and academia evolve.
WHO IT HITSMathematicians and academic researchers who have long driven progress on hard problems now face a field where the toughest questions may require computing resources few institutions can provide. Frontier AI companies like OpenAI and Anthropic are directly affected by the credit and attribution controversy.
Summaries like this, every morning.
The Navier-Stokes problem had gone unsolved since the Clay Mathematics Institute named it a Millennium Prize problem in 2000, carrying a $1 million prize. Only one such problem had ever been solved before. Mathematicians have long worked on it through the publicly available models from OpenAI and Anthropic. On Monday, NYU's Tristan Buckmaster posted a proof on Mastodon showing that a simplified model of the equations could actually break down — a major step. On the same day, OpenAI announced a proof that the full system could break down too. Sebastian Bubeck, a technical staff member at OpenAI, said at a press conference that hearing rumors about Buckmaster and Alpoge's effort was what prompted the team to tackle it. Whether OpenAI's model actually used their research remains unknown and OpenAI denies it. The episode suggests that solving today's most significant math problems may require computing resources only a few frontier AI companies can assemble, and that these companies often do not follow the academic community's norms of collaboration that have supported most mathematical progress. If that is the future, the role of human mathematicians in it is unclear.
Pick your industry and the AI tools you use, and get news related to your work every day.
Free · 30 seconds with Google · unsubscribe anytimeWhat is AIToday? →
Ask AI anything about this article. The AI reads this article, earlier AIToday articles, and Wikipedia, and cites its sources. Q&As are published on this page for other readers too.
Epoch AI researchers found that the Chinese open-weight model GLM 5.3 autonomously built multi-stage exploit c…
A project called Ask Me Twice puts a curated, evolving set of 137 questions to 44 AI models every day and reco…
Mistral published open weights for Mistral Large 4, a 1.05T-total, 52B-active model with 1M context and text+i…
The author ran an experiment that gave a subagent NOTES.md with a line to open each of 12 log files one at a t…
The developer built J.H Editor for Windows to read and edit AI-generated Markdown, but says the most-used feat…
Google announced on 2026年10月29日 that Gemini can generate, preview and directly edit PDFs, documents, slides, s…
