OpenAI says internal model solved Navier-Stokes in 88 hours

OpenAI says ~10,000 coordinating AI agents using an unreleased model more capable than GPT-6 Astra produced a Lean-verified proof in 88 hours. NYU's Tristan Buckmaster says OpenAI's Sébastien Bubeck raced to claim credit after learning of his unpublished work with Anthropic's Levent Alpöge.
People · Tristan Buckmaster, Levent Alpöge, Sébastien Bubeck
How this story unfolded
2 days · 14 reports · 68 community posts · 82 of 85 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
Terence Tao: Did AI Just Solve the $1,000,000 Navier-Stokes Problem?youtube.com
Greg Brockman on Astra and the Future of OpenAIyoutube.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
More stories today
AMD-backed Korean AI startup Upstage weighs pre-IPO round
Upstage, a South Korean AI startup backed by AMD, is considering a pre-listing funding round among several capital-market options, per co-founder comments to Bloomberg. No round size, valuation, or timeline was disclosed.
Bloomberg Technology·3 hours ago
Reddit users discuss tasks they stopped using Claude for
r/ClaudeAI thread asks what people tried Claude on, decided wasn't worth the round trip, and went back to doing by hand. No specific model version, benchmark, or product change is cited.
r/ClaudeAI·4 hours agoEmily Bender critiques pro-AI science communication and OpenAI math claims
Emily M. Bender·4 hours agoAlibaba to lead $300M round in UniPat AI at $2.5B valuation
Alibaba Group is slated to lead a $300 million investment in AI training and benchmarking startup UniPat AI, valuing it at $2.5 billion. The company was founded by a former Alibaba intern.
Bloomberg Technology·4 hours ago
Kimi K3 tops Fable 5.1 by 60% on Harvey Lab-AA legal tasks
Together AI·4 hours ago
Shield AI co-founder discusses APAC expansion plans
Shield AI co-founder and president Brandon Tseng outlined the defense startup's growth strategy and expansion into APAC markets in a Bloomberg: The Asia Trade interview.
Bloomberg Technology·4 hours ago
Independent researcher releases audio model for text-to-synth generation
The model generates infinite one-shots for music production and turns text prompts into fully playable synths, treating timbre as a separately controllable attribute. The release includes the model weights, an inferencing pipeline, and a video walkthrough of the training process.
r/LocalLLaMA·4 hours ago
Codex gets a Unity plugin
eric provencher·4 hours ago