OpenAI shares AI-generated Navier-Stokes Millennium Prize solution

OpenAI says an internal model 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 and that OpenAI's first prompt came after their work reached the company.
People · Tristan Buckmaster, Levent Alpöge
How this story unfolded
6 days · 21 reports · 81 community posts · 102 of 108 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
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
More stories today
Reddit user runs Claude Computer Use on a second device
A r/ClaudeAI user says running Claude's 'Enable Computer Use' on a separate machine, rather than their main system, made the feature more useful and removed discomfort over handing over full control.
r/ClaudeAI·1 hour agoReddit user tests Astra as an autonomous movie director
A user on r/ChatGPT reports letting Astra direct a film, saying it handles prompt input, reference creation, and building its own interface and tracking tools. The user says the process still needs refinement.
r/ChatGPT·1 hour ago
Tutorial builds hierarchical NeRF with JAX3D for 3D reconstruction
MarkTechPost walkthrough implements an end-to-end hierarchical Neural Radiance Field using JAX, Flax, Optax and jax3d's volume-rendering primitives. It starts from a synthetic multi-view dataset of an analytic scene with volumetric geometry and view-dependent radiance.
MarkTechPost·1 hour ago

TechCrunch Equity debates AI doomer warnings after Anthropic resignation
Anthropic alignment lead said the chance AI kills all humans is ">10% within the next decade"; researcher Jacob Coxon resigned from Anthropic over leading labs "gambling with our lives." Equity hosts questioned whether the warnings are a flex ahead of Anthropic's IPO S-1 filing.
TechCrunch·1 hour ago

Researcher cites years of academic work debunking AI claims
Emily M. Bender·1 hour agoChatGPT's Astra pulls months-old context into user's game project
A Reddit user building a top-down dog game said Astra added both of their real dogs' names and breeds to a generated list of 30+ dogs, drawing on conversations from months earlier. The user described the behavior as "thoughtful" and asked whether others had seen similar cross-session recall.
r/ChatGPT·1 hour agoAurora1.0-150M released, matching GPT2-Small
AuroraAI-Research's first 150M-parameter model was trained on 7B tokens using an RTX Pro. Benchmarks: PIQA 62.24%, HellaSwag 32.20%, ARC-Easy 44.91%, ARC-Challenge 25.00%, Arithmark 3.0 33.90%, CapitalBench 36.55%.
r/LocalLLaMA·2 hours ago
ChatGPT adds ability to save temporary chats
Reddit users report ChatGPT now lets users save temporary chats, a feature previously unavailable for ephemeral conversations.
r/ChatGPT·3 hours ago