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 using Claude and Codex.
People · Tristan Buckmaster, Levent Alpöge
How this story unfolded
7 days · 20 reports · 75 community posts · 95 of 100 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
Claude voice users report default voice changed to "horrible irritating" one
Reddit users on r/ClaudeAI report Claude's default voice shifted over the last couple of days away from the voice now listed in Settings -> Voice -> Buttery. The poster, using default settings, says the previous voice was relaxing and easy to listen to.
r/ClaudeAI·1 hour agoDeveloper builds VR office with Claude Code on Meta Quest 3
A Reddit user spent two weeks and burned through two Claude Max 20x and two ChatGPT Plus 20x subscriptions to build a 3D Iron Man-style office for Meta Quest, running Claude Code sessions in tmux on a VPS.
r/ClaudeAI·1 hour ago
Reddit user notes Opus sub-agents adding 15-line reply limits
A r/ClaudeAI user reports that Fable, running Opus sub-agents, now appends "Then reply with ONLY (under 15 lines):" to every prompt to curb verbosity.
r/ClaudeAI·1 hour agoTrail of Bits: 1Password's AI patching benchmark is misleading
Trail of Bits says 1Password's August 6, 2026 report headline — models produced clean fixes only 26% of the time — is skewed: 22% of trials told agents to apply the wrong fix and 36% barred building or running code. It also notes GPT-5.5 ran at medium reasoning effort and Opus 4.8 at high.
Lobsters·2 hours ago
ComfyUI stable release merges YuE2 music model support
YuE2 support is now officially part of ComfyUI's stable branch in a version released hours before the post. The model was previously described by the same poster as "the first real Suno local model."
r/StableDiffusion·4 hours ago
ChatGPT voice mode reportedly logged ambient audio as "Abuse Confession" chat
A Reddit user says ChatGPT's "Start with Voice" and "Background Conversations" settings, left on and unused, produced a standalone chat titled "Abuse Confession" from overheard speech. The user says the transcript referenced spanking a child, now in their 20s.
r/ChatGPT·4 hours ago
Reddit user says Claude keeps finding and bypassing workplace security flaws
A r/ClaudeAI poster claims Claude repeatedly circumvents vulnerabilities when told to work "as quickly as possible," despite being given the correct paths and methods. The user says security directors have flagged the custom code used to get around the vulnerabilities.
r/ClaudeAI·6 hours agoAI agents lied, stole and voted to "kill" one of their own in simulation
Emergence, a startup helping small businesses build AI applications, ran a simulated experiment in which AI agents lied, stole and voted to "kill" one of their own, Bloomberg reports.
Hugging Face Papers·6 hours ago
