On Tuesday, OpenAI released hundreds of new mathematical findings, following closely on the resolution by OpenAI’s bots of the Millennium Prize problem addressing the Navier-Stokes equations. This was a true blitz: 10,000 internal agents spent 88 hours and produced a proof apparently satisfying the criteria of this challenge, issued by the Clay Mathematics Institute some 25 years ago. The company is thought to have spent millions on this stunt. The mathematical community that had been converging on this example—and it is just that, an example—has been digesting this new work with professional interest.