OpenAI shares AI-generated Navier-Stokes Millennium Prize solution

OpenAI says an unreleased next-generation model, more capable than GPT-6 Astra, produced the proof in 88 hours using ~10,000 coordinating AI agents and 130B tokens (>$40M). The writeup includes a formal Lean proof; NYU's Tristan Buckmaster disputes credit, saying he and Levent Alpöge worked the problem for a year with Claude and Codex.
People · Tristan Buckmaster, Levent Alpöge
How this story unfolded
6 days · 21 reports · 84 community posts · 105 of 112 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
Zuckerberg joins Trump in statements on accelerating AI
Reddit r/Singularity post says Mark Zuckerberg made a statement on accelerating AI, following a similar statement by Trump. The post cites a Kalshi Finance X post as its source and offers no further detail.
r/Singularity·1 hour ago
Anthropic tells investors it will be profitable for second straight quarter
Anthropic has told investors it expects a second consecutive profitable quarter, per an FT report. No figures or timeline were disclosed in the available snippet.
r/Singularity·1 hour ago
DAIR event to examine how AI is first tested on refugees
Timnit Gebru·1 hour agoReddit user tests ChatGPT image generation with max-detail prompt
A r/ChatGPT user prompted ChatGPT to ignore prior context and choose subject, style, setting, and composition itself, then render one image with maximum visual density. The post shares the resulting single render.
r/ChatGPT·3 hours ago
Tool coordinates local office of AI coding agents for terminal tasks
Tom Doerr·3 hours ago
Claude Fable 5.1 solves 370-year-old Cyphral Distich cipher
Claude Fable 5.1 cracked Sir Thomas Urquhart's Cyphral Distich in 44 minutes using 176k tokens, a cryptogram unsolved since it was posed as an open problem in Notes and Queries in 1899. The key clue was the 32 Proquiritations preceding the cipher, matching its two lines of 32 numbers each.
Hacker News·3 hours ago
Reddit user reconsiders LLM skepticism after five years
A r/Singularity poster who followed AI for five years says LLMs surpassed their expectations, while still calling them an incomplete path to machine superintelligence.
r/Singularity·3 hours ago2019 archive: GPT-2 withheld over misuse fears
Pessimists Archive·4 hours ago