“O1 has successfully solved a mathematical proof that had previously been solved by humans but never before by an AI model.”