AI · Studies · 2026-09-09 08:28:00
OpenAI has likely solved a Millennium Prize Problem: a proof of finite-time blowup for the forced three-dimensional Navier-Stokes equations. The author lays out a timeline of AI in mathematics over the past year, from Erdős problems and the unit distance conjecture to the Jacobian conjecture and the Navier-Stokes result. The character of results shifted from human-centered companion papers to black-box proofs, sparking debate about AI strip-mining mathematics for hype.
Auto-generated summary for reference only. RSS