OpenAI shares AI-generated Navier-Stokes solution, mathematicians dispute credit

OpenAI says ~10,000 coordinating agents produced the Navier-Stokes Millennium Prize solution in 88 hours using an unreleased model more capable than GPT-6 Astra, with a Lean formal proof. NYU's Tristan Buckmaster says he and Levent Alpöge worked the problem for a year and that OpenAI's prompt came after their work reached the company.
People · Tristan Buckmaster, Levent Alpöge
How this story unfolded
6 days · 21 reports · 82 community posts · 103 of 109 shown
- Sep 8
A Bad Day For Humans, a Worse Day For Humanitythealgorithmicbridge.com
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
More stories today
Reddit user asks if any small models use engram/n-gram training
A r/LocalLLaMA poster asks whether any experimental models of 9B parameters or fewer are trained with engram/n-gram methods, saying none are visible on Hugging Face. They propose comparing a tiny model trained with and without n-grams on the same dataset.
r/LocalLLaMA·2 hours agoLigent Technologies seeks $727M in Hong Kong IPO
AI computing networks maker Ligent Technologies is seeking up to HK$5.7 billion ($727 million) in a Hong Kong initial public offering. The listing adds to a surge of AI-related IPOs this year.
Bloomberg Technology·3 hours ago

MiniMax H3 ComfyUI workflow runs multi-image video on 6GB VRAM
A community-built MiniMax Director workflow for ComfyUI animates multiple reference images together while supporting text-to-video, image-to-video, and custom audio/voice. It was designed for low-VRAM users, generating video at reduced resolution to fit within 6GB of VRAM.
r/ComfyUI·3 hours ago
Suno V6 backlash: users call vocals muffled, cancel subscriptions
r/SunoAI users report V6 vocals sound "muddy, hollow, and suffocated," with one Pro subscriber saying they cancelled after testing all three new models. Others cite zero variety between generations and a lost "happy accident" factor; some defend V6 as their best results yet.
r/SunoAI·3 hours ago
Plugin extends Minimax H3 videos by reusing saved latents
A Reddit plugin for Minimax H3 saves generation latents as a Safetensor file, then reuses them alongside the rendered video to extend clips. The author says this drastically reduces image degradation when continuing a video, demoing a 5-second clip extended this way.
r/StableDiffusion·3 hours ago
Reddit users discuss ChatGPT as a starting tool, not a finisher
An r/ChatGPT thread argues the biggest benefit of ChatGPT is getting past the blank page for coding, writing, learning, and planning rather than producing complete answers. The poster asks whether others use it mainly as a "get me started" tool.
r/ChatGPT·3 hours agoReddit user gives ChatGPT complete creative control
A single r/ChatGPT post by user EVERYSETKILLA titled "I gave CHAT GPT complete creative control" with no article text or linked write-up. No details on the output, model version, or results are available in the cluster.
r/ChatGPT·3 hours ago
Reddit user says Opus and Fable 5.1 lag on SVG generation
A developer building a procedurally animated agent avatar project spent nearly half a Sunday wrangling Opus and Fable 5.1, reporting their generated SVGs were much worse than GPT-2.5's output.
r/ClaudeAI·3 hours ago