AI Sparks Rare Math-Stakes Debate as OpenAI Claims Navier–Stokes Breakthrough

At the Heidelberg Laureate Forum, OpenAI claimed it deployed 10,000 AI agents to solve the Navier–Stokes existence-and-smoothness Millennium Prize Problem, a claim that ignited a public clash among elite mathematicians. Buckmaster and Alpöge allege they were racing to publish only to be pressured not to reveal their work, while others dismiss the move as reckless or PR. A panel including Michael Harris, Geordie Williamson, Jacob Tsimerman and Peter Scholze debated AI’s impact on mathematics, with calls for safeguards to protect human inquiry and concerns about predatory behavior, even as some argue AI could accelerate progress without replacing deep human understanding. The discussion underscored uncertainty about how AI and human mathematics will co-evolve, with wide-ranging views on the future of the field.)