OpenAI claims AI agents solved Navier-Stokes in 88 hours
OpenAI says ~10,000 coordinating agents using an unreleased model more capable than GPT-6 Astra produced a solution in 88 hours, with a writeup and Lean formal proof. NYU's Tristan Buckmaster disputes the process, saying he and Levent Alpöge worked the problem for nearly a year with Claude and Codex (mainly GPT-5.6 Sol) before an August 15 breakthrough.
People · Tristan Buckmaster, Levent Alpöge
How this story unfolded
4 days · 19 reports · 74 community posts · 93 of 98 shown
- Sep 8
A Bad Day For Humans, a Worse Day For Humanitythealgorithmicbridge.com
OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foulwired.com
OpenAI fought dirty on career-making math problem, says NYU mathematiciantechcrunch.com
On the Navier–Stokes Millennium Prize Problemopenai.com
AI Has Solved One of Math’s $1 Million Millennium Prize Problemsquantamagazine.org
Drama swirls around OpenAI’s legendary mathematical milestonetheverge.com
OpenAI Says It Solved a $1M Math Problem. A Rival Mathematician Says He Did It Firstdecrypt.co
- Sep 9
What OpenAI’s latest controversy tells us about the future of mathtechnologyreview.com
[AINews] OpenAI reports Navier-Stokes singularity find in 88 hours using Astra-next, roughly 10,000 agents and 130B tokens (>$40M), a contender for second ever Millennium Prize awardedlatent.space
ChatGPT solved a $1M Math Problemyoutube.com
OpenAI claims to have solved the 90-year-old Navier-Stokes math problem in 88 hourscnbc.com
- Sep 10
- Sep 11
- Sep 12
More stories today
Coda Story piece links AI doomsday rhetoric to Epstein files
Timnit Gebru·1 hour agoNYT opinion: AI coding tools still need humans for cutting-edge software
Paul Ford argues in a New York Times opinion piece that the feared replacement of software developers by AI has not materialized, and that making truly cutting-edge software still requires humans. John Gruber of Daring Fireball flags the piece.
The New York Times·1 hour ago
Reddit users swap llama.cpp configs for Qwen3.8 Flash Next
A r/LocalLLaMA thread asks for llama.cpp settings and system setups for Qwen3.8 Flash Next, with the poster noting the model is "quite big" and that testing many option combinations takes a lot of time.
r/LocalLLaMA·2 hours ago
Royal Society special issue explores whether LLMs understand the world
David Ha (hardmaru)·2 hours agoEconomist briefing casts Nvidia as the central bank of AI
The Economist's interactive briefing argues Nvidia occupies a central-bank-like role in the AI economy. The piece is paywalled; discussion is on Hacker News.
Hacker News·3 hours ago
MCP security needs a permissions overhaul, analysis argues
Anthropic's Model Context Protocol entered production in late 2024 and now has thousands of servers, with Microsoft, Google and OpenAI adopting it and the Linux Foundation taking over maintenance. The piece argues MCP's permission model is the weak point as it becomes critical infrastructure.
The New Stack·3 hours ago
Rauch: AI safety fears risk pushing US into "self-inflicted obsolescence"
Guillermo Rauch·3 hours agoMeta's trust problem could cost it the AI race
Alex Kantrowitz argues Meta's reputational and trust issues are a competitive liability in the AI race. No specific figures, models, or benchmarks are cited in the available source material.
YouTube·3 hours ago
