OpenAI says its AI solved the Navier-Stokes existence and smoothness problem, a Millennium Prize Problem, and released a formal proof in Lean.
Take: If true, this shakes math to its core. But academics are already crying foul—the drama is just beginning.