Філіп Плайї/Science Source
Lead Story
OpenAI Says It Solved Navier–Stokes: Why It Is Not Final Yet, but Could Still Be a Turning Point for Mathematics
OpenAI published both a mathematical paper and a Lean formalization produced by a system of thousands of agents. But official recognition will require years of independent scrutiny.
