## Did AI Just Solve One of Mathematics’ Biggest Problems? OpenAI’s agents reached a proposed solution in 88 hours. But the human research that came before, and the controversy that followed, raise a harder question: what actually counts as an AI discovery? OpenAI recently announced something extraordinary: an internal AI system had produced a proposed solution to the Navier-Stokes existence and smoothness problem, one of mathematics' legendary Millennium Prize Problems. More precisely, the system constructed a finite-time singularity for the three-dimensional Navier-Stokes equations with a…