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 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 · 81 community posts · 102 of 108 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
Waymo AI team hosts AMA on foundation models and simulation
Waymo's AI team is hosting an AMA session to discuss their work on foundation models, simulation, and scaling the Waymo Driver. The discussion covers technical topics including multimodality and end-to-end architectures.
r/MachineLearning·2 hours ago
Reddit user asks whether DeepSeek 4.1 Flash fits on a 2x DGX Spark cluster
r/LocalLLaMA poster asks whether a two-Spark DGX Spark cluster can run DeepSeek 4.1 Flash or whether three or four units are required. No benchmarks or memory figures are given.
r/LocalLLaMA·2 hours ago
Builder details $3K home inference server with 128GB VRAM
Reddit user assembled a 128GB VRAM, 256GB DDR4 server for roughly $3,000, using 4x V620 GPUs at $1,400, 256GB DDR4 RDIMM 2666 at $610, and a Huanandzhi D12D board at $410. They returned a Lenovo P620 workstation first, citing proprietary Lenovo components.
r/LocalLLaMA·2 hours ago
Timnit Gebru: OpenAI's GPT-2 'too dangerous' claim echoed in current debate
Timnit Gebru·3 hours agoPrinceton researcher proposes Recurrent Looped Transformer
Yifan Zhang's RLT technical report carries decoder state across every token, looping 96 blocks per token with unbounded temporal depth. In standard decoder-only LLMs, nothing computed at token t's last layer feeds token t+1's first layer.
MarkTechPost·3 hours ago

Fly brain wired to PCSX2 plays PS2 games via spiking neural net
A hobbyist connected a simulated fly brain to the PCSX2 emulator with a virtual PS controller and dopamine readout, using Mr. Mosquito as the first visual cue test. The builder says the project has no real-world value and is a way to learn about spiking neural networks, with a quasi-universal trainer in progress.
r/Singularity·3 hours ago
Peter Steinberger: use coding agents to fix Linux issues
Peter Steinberger·4 hours agoFine-tuned open source models beat frontier models at 95% lower cost
Ayush 🙏·4 hours ago