🧮 OpenAI said its new model solves math problems faster than humans can check proofs. According to the company, its internal model has already found solutions to more than 100 open math problems that researchers have been working on for years. Among them is a problem related to the Navier-Stokes equations. Now the main limitation was not AI, but the speed of human verification. OpenAI has assembled an independent panel of renowned mathematicians to review the evidence, evaluate its significance, and decide which results are ready for publication. Source