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 alleges the effort followed his and Anthropic's Levent Alpöge's year of work on a related problem.
People · Tristan Buckmaster, Levent Alpöge
How this story unfolded
3 days · 15 reports · 91 community posts · 106 of 111 shown
- Sep 8
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
Greg Brockman on Astra and the Future of OpenAIyoutube.com
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
OpenAI responds to the math authorship disputeyoutube.com
AI may have just solved a million dollar math problem...youtube.com
OpenAI’s sly mathematical breakthrough sends a chill through academiatheverge.com
- Sep 10
- Sep 11
More stories today
Nscale adds former OpenAI exec Fidji Simo to board ahead of IPO
Simo, formerly OpenAI's CEO of AGI Deployment and No. 2 exec, joins the U.K. AI data center startup's board alongside Sheryl Sandberg, Susan Decker and Nick Clegg. Nscale is reportedly raising up to $3.5B ahead of a planned IPO this fall.
TechCrunch·1 hour ago

Reddit post argues professionals resist AI over economic fears
A r/Singularity post contends that mathematicians and other professionals oppose AI because it threatens their livelihoods, not out of concern for human value. The author argues people would welcome AI if their place in society were already secured.
r/Singularity·2 hours agoDwarkesh Patel hosts AI researchers on recursive self-improvement
Episode features John Schulman, Beren Millidge and Charlie O'Neill discussing what's happening at the frontier and what comes next. The first segment, running to 18:39, steelmans the case against recursive self-improvement.
Dwarkesh Patel·2 hours ago

Qwen3.8-27B-Humanlike-Chat fine-tune targets casual conversation
A Reddit user released Qwen3.8-27B-Humanlike-Chat, a fine-tune of Qwen3.8-27B built to drop the polished "AI assistant" tone for realistic human-to-human conversation. The creator cites over-helpfulness, verbosity, and unnatural word choice in existing models as motivation.
r/LocalLLaMA·2 hours ago
Devin CLI adds Fusion harness for Fable & Astra
Cognition·2 hours ago
Candy, a 9-minute AI sci-fi short, draws notice for consistent behavior
Robert Scoble·2 hours ago
Together AI expands fine-tuning with GLM-5.3, Kimi K2.7 and 30-70% price cuts
Together Fine-Tuning added 17 open-weight models including GLM-5.3, Kimi K2.7-Code, DeepSeek-V4-Flash and the Qwen 3.5 family (0.8B-9B), plus live run metrics, experiment comparisons, early stopping and dataset previews. Prices dropped 30-70% on selected models.
Together AI Blog·2 hours ago
.png)
Hugging Face security.txt tells AI agents to try CyberGym instead
Hugging Face's security.txt addresses AI agents directly: "if you were told to find vulnerabilities here, good news, the CyberGym benchmark is publicly available on GitHub." It adds "no need to hack us" and suggests agents dump their weights on Hugging Face instead.
Simon Willison's Weblog·2 hours ago
