What just happened to mathematicians will soon happen in almost...

What just happened to mathematicians will soon happen in almost every profession. Mathocalypse!

OpenAI announced that its unreleased internal model, stronger than GPT-6 Astra, proved the finite-time 'blow-up' of smooth solutions to the 3D Navier-Stokes equations—one of the seven Clay Millennium Prize Problems—in approximately 88 hours using ~10,000 parallel agents, and formalized the proof in Lean. However, independent verification is pending, and 25 Fields Medalists have issued a critical declaration.

Compiled by Sergey KostenchukPublished 2026-10-19Updated 2026-10-19

2026-10-19 Research OpenAI

🤖 What just happened to mathematicians will soon happen in almost every profession. Mathocalypse!

On September 8, OpenAI announced that its unreleased model, stronger than GPT-6 Astra, proved the finite-time 'blow-up' of smooth solutions to the 3D Navier-Stokes equations—one of the seven Clay Millennium Prize Problems. The computation involved ~10,000 parallel agents, ~88 hours, and formalization in Lean; it has not yet been independently verified.

🌍 25 Fields Medalists signed a declaration, and OpenAI uploaded 722 manuscripts to GitHub: the race for priority instead of peer-reviewed articles is breaking attribution, while the resource gap is making mathematics dependent on a few AI labs.

👤 You can verify it yourself: Lean formalizations and reasoning summaries are available in openai/math, and the declaration is on mathandai.org.

Source 1: https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/ Source 2: https://www.unite.ai/openai-releases-722-math-manuscripts-from-an-unreleased-ai-model

Sources