OpenAI said on Sept. 8 that autonomous AI agents had produced a proof resolving the Navier-Stokes problem, one of the seven Millennium Prize Problems in mathematics.