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
Essay offers de-anthropomorphizing alternatives to "AI" language
Emily M. Bender and Nanna Inie propose replacing anthropomorphizing terms like "cognizer" and "artificial intelligence" with functionality-based descriptions, drawing on their paper Inie et al 2026. They outline three steps: noticing anthropomorphizing word choices, finding alternatives, and building the habit of using them.
Lobsters·1 hour ago
AI-powered 90s TV runs Codex via GPT Real Time
Riley Brown·2 hours ago
Alexandr Wang: "i'm engaging with you as a human being"
Alexandr Wang·2 hours ago
Angi names Michael Steib CEO to lead AI-focused turnaround
Angi Inc. appointed Michael Steib as chief executive officer to steer the digital home-improvement platform's push toward artificial intelligence.
Bloomberg Technology·2 hours ago

SpeakON ships MagSafe AI voice button with built-in microphone
SpeakON's hardware button attaches via MagSafe and captures voice through its own microphone, aiming to turn raw speech into polished text and actions across apps. The company frames the problem as output quality, not input: dictation tools return fillers and false starts that users must clean up and move elsewhere.
MarkTechPost·3 hours ago

Fable/Opus builds hard sci-fi starship combat game with orbital mechanics
Ethan Mollick·3 hours ago
Illinois governor Pritzker establishes AI cabinet to assess risks
Illinois Gov. JB Pritzker created an AI cabinet to assess risks and protect Illinoisans, per WGN-TV. The move drew criticism in r/LocalLLaMA, where a poster urged residents to contact the governor over what they called an attack on open weights.
r/LocalLLaMA·3 hours ago
NVIDIA AI Day Singapore showcases Southeast Asia AI push
NVIDIA AI Day Singapore runs Sept. 22-23 at the Raffles City Convention Centre, with partners showcasing AI work across Southeast Asia. Singapore's HTX will research public-safety AI using NVIDIA Nemotron 3 Super and Nemotron 3 Nano Omni models.
Nvidia AI Blog·3 hours ago
