OpenAI may have cracked a hardest math problem, with Claude and Codex drafting proofs
eyishazyer · x · 2026-09-08
OpenAI may have solved one of math's hardest fluid dynamics problems, though the journey was messy. NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge spent a year working on the Euler, Boussinesq, and a variant of the Navier-Stokes equations, using AI heavily—Claude and Codex—to generate candidate proofs that they then verified and rewrote by hand. The post is a retelling and the linked source details are truncated.
More from Research
- OpenAI claims agent swarm solved the Navier-Stokes Millennium Prize Problem — austinc3301 · 2026-09-09
- 88 hours to crack a 90-year-old fluid problem: OpenAI agents tackle Navier-Stokes — mdancho84 · 2026-09-09
- Report: OpenAI allegedly threatened NYU mathematician who declined co-authorship on Navier-Stokes solution — PsychicorAI · 2026-09-09
- Spilled.ink launches crowd-voted tracker for the OpenAI Navier–Stokes proof debate — NathanpmYoung · 2026-09-09
- DNA sequence models hit SOTA but wet-lab validation remains the bottleneck, experts say — anshulkundaje · 2026-09-09
- Researcher says he predicted Navier-Stokes would fall first, but not amid bitter controversy — geoffreyirving · 2026-09-09