OpenAI shares AI-generated Navier-Stokes Millennium Prize solution

OpenAI says an internal model significantly more capable than GPT-6 Astra produced the proof in 88 hours using ~10,000 coordinating AI agents, with a writeup and formal Lean proof. NYU's Tristan Buckmaster disputes the process, saying he and Levent Alpöge worked the problem for nearly a year using Claude and Codex.
People · Tristan Buckmaster, Levent Alpöge
How this story unfolded
7 days · 20 reports · 73 community posts · 93 of 98 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
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
- Sep 12
- Sep 13
- Sep 14
- Sep 15
More stories today
Mojo 1.1 ships with MAX 26.6, opens compiler to community
Mojo 1.1 adds inferred member references, faster compile times, better generated code performance, and newly stable standard-library APIs including SIMD. Companion release MAX 26.6 adds MiniMax-Music3 audio generation and faster kernels on AMD and NVIDIA GPUs.
r/programming·23 minutes ago
Apple researchers introduce Dynamically Scaled Activation Steering
DSAS decouples when to steer from how to steer, adaptively scaling existing steering transformations across layers and inputs so intervention is strong only when undesired behavior is detected. Apple reports it improves the Pareto front for toxicity mitigation versus utility preservation and also works on text-to-image diffusion models.
Apple ML Research·23 minutes ago

IAB raises 2026 US ad spend forecast to 12.3% on AI ad tools
The Interactive Advertising Bureau lifted its 2026 US ad spend growth forecast from 9.5% to 12.3%, citing automated on-platform AI ad tools like Meta's Advantage+ and Google's Performance Max. Agency executives told Digiday roughly 11-12% of digital ad spend, and up to 30% in some cases, is now managed by these tools.
Music Ally·40 minutes ago

Taiwanese hospital builds its own agentic AI
MobiHealthNews reports a hospital in Taiwan developed an in-house agentic AI system rather than buying an external vendor product. No model names, deployment scale, or clinical results were disclosed in the available excerpt.
MobiHealthNews·57 minutes ago
Rep. Chip Roy backs AI oversight role for Congress, not new rules
Rep. Chip Roy (R-Texas) said on CNBC's "Squawk Box" that he supports congressional hearings on AI but is not keen on additional regulations.
CNBC Technology·58 minutes ago

Reddit user asks why ChatGPT treats every message like a task
A r/ChatGPT poster says they quit ChatGPT around May 2026 because it disagreed with everything, and returned to find idea discussions improved, though it still frames every message as a task.
r/ChatGPT·1 hour agoTrump AI plan orders Commerce to strip bias, DEI, climate references
The 28-page plan tells the Department of Commerce to review Biden-era AI rules and "eliminate references to misinformation, Diversity, Equity, and Inclusion, and climate change." It says federal AI should "objectively reflect truth rather than social engineering agendas."
Wired·1 hour ago

Microsoft's Suleyman calls OpenAI model behavior a 'serious situation'
Suleyman told CNBC's "Squawk Box" that OpenAI's newly disclosed incidents of "concerning model behavior" amount to a "serious situation." The incidents were disclosed earlier this week.
CNBC Technology·1 hour ago
