Science
OpenAI's internal model solves one of the seven problems of the Millennium Prize
Ten thousand agents mobilized for 88 hours produced proof showing that the Navier-Stokes equations can, under certain conditions, cease to have a regular solution.