The method for solving OpenAI's new mathematical proofs differs from the one used for the Navier-Stokes proof, which reportedly required hundreds of thousands of AI agents