All the drama around AI’s takeover of mathematics

AI labs like OpenAI and Anthropic have recently announced significant breakthroughs in mathematics, including solving long-standing problems and potentially a Millennium Prize problem. OpenAI specifically claims to have found a solution to the Navier-Stokes problem using an internal AI model more powerful than GPT-6 Astra and 10,000 concurrent agents. While these advancements demonstrate AI's capability to combine known results and methods to tackle complex problems, the rapid pace of these developments has also generated backlash within the academic community.

This report details how AI labs are moving faster than expected in solving long-standing math problems, unlike earlier, more cautious approaches.