OpenAI says internal model solved Navier-Stokes in 88 hours

OpenAI says ~10,000 coordinating AI agents using an unreleased model produced a Lean-verified proof that the Navier-Stokes equations can "blow up," one of seven $1M Millennium Prize Problems. NYU's Tristan Buckmaster says OpenAI's Sébastien Bubeck raced to claim credit after learning of his unpublished related work with Anthropic's Levent Alpöge.
People · Tristan Buckmaster, Levent Alpöge, Sébastien Bubeck
How this story unfolded
3 days · 14 reports · 71 community posts · 85 of 88 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
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
MiniMax Music Production Toolkit v2.1 released for ComfyUI
Community release turns MiniMax Music 3 into an end-to-end local workflow: idea to structured prompt to Music 3 output, with custom nodes and a workflow file. It follows an introductory version posted about a week earlier.
r/ComfyUI·2 hours ago
Demo replicates V4.1 Flash-style KV approximation for fast prefill on Qwen
A web demo applies an LLKV approximation technique to Qwen3 to speed up prefill, reportedly mimicking what V4.1 Flash does with KV cache. The Reddit poster asks whether the approach could be scaled to a 27B model.
r/LocalLLaMA·3 hours ago
Git history visualizer replays repo commits as animation
A Reddit user built a tool with Claude Code that takes any public GitHub repo and animates its commit history, drawing the real commit graph rather than a contribution heatmap. Branches split at true ancestry points and merges scale to commit count.
r/ClaudeAI·3 hours ago
Flipkart's Super.money rolls out AI agents for shopping, gold
Flipkart-owned payments platform Super.money is launching AI agents that autonomously shop for products and buy gold, betting the technology differentiates it from larger rivals.
Bloomberg Technology·3 hours ago

Datasette ships 1.0a39 and 0.65.4 security patches after AI audit
Simon Willison and Alex Garcia audited Datasette with Claude Fable 5.1, GPT-5.6, and GPT-6 Astra after issues reported by Sevban Dönmez, then spent nearly a week reviewing fixes. The patches cover instances mixing public and private tables; frontier-model audits will now be standard in Datasette development.
Simon Willison's Weblog·3 hours ago
OpenArt launches AI Ad Awards with $50,000 in total prizes
OpenArt·4 hours ago
Emily Bender questions silence of AI booster execs after Jacob Coxon's Anthropic exit
Emily M. Bender·4 hours agoMiniMax H3 camera control node lands in ComfyUI
A community node adds a visual camera planner for MiniMax H3 inside ComfyUI: drag the camera around a 3D sphere, place keyframes on a timeline, and the node drives the shot. Posted to r/ComfyUI and r/StableDiffusion, with the model hosted on Civitai.
r/StableDiffusion·4 hours ago