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 · 76 community posts · 96 of 101 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
Microsoft MAI publishes draft Humanist AI Code of Conduct
Mustafa Suleyman·37 minutes ago
Tandem Health raises $100M to expand clinical AI across Europe
Tandem Health raised $100M to expand its clinical AI across Europe, per MobiHealthNews. No investors, valuation, or product details were disclosed in the report.
MobiHealthNews·1 hour ago
MobiHealthNews video: AI platforms can cut administrative complexity
MobiHealthNews published a video segment arguing AI platforms can reduce administrative complexity in healthcare. No specific products, vendors, or metrics are named in the available snippet.
MobiHealthNews·1 hour ago
Gradium CEO: real-time voice models are half duplex
Neil Zeghidour, co-founder and CEO of Gradium, argues every real-time voice model shipping today is half duplex — either listening or speaking, never both. On calls with someone close, people talk over each other up to 20% of the time.
YouTube·1 hour ago
Meta touts cost savings of latest in-house AI chips
Meta says its newest in-house AI processor will run in data centers next year, with another chip model to follow by the end of 2027. The company is pitching the silicon on cost savings.
Bloomberg Technology·1 hour ago
OpenAI's Charlie Guo: voice agents can just do things
OpenAI developer-experience staffer Charlie Guo argues the three modes of voice interaction — speech-to-speech, event-to-speech, and text-to-speech — are all decades old, citing the Moviefone hotline and in-car GPS units as early examples.
YouTube·1 hour ago
Cloudflare launches Disallow AI Training setting for mixed-use crawlers
Cloudflare's new setting lets sites stay indexed for search while refusing AI training on the same crawler; Apple, Google, and Microsoft honor or have committed to honor it. Under 1% of Cloudflare sites block Search bots, while 17% enable some training-blocking mechanism.
Cloudflare AI Blog·2 hours ago

G5 Labs launches G5 platform to turn enterprise code into natural language
G5 Labs argues enterprise code and workflows should be expressed in natural language, and its new G5 platform automates that conversion. VentureBeat's Carl Franzen reports the launch.
VentureBeat·2 hours ago
