OpenAI releases over 700 AI-generated mathematical proofs, retracts three papers
OpenAI announced that its AI agents solved hundreds of long-standing mathematics problems on October 6, but retracted three papers the following day. Mathematicians raised concerns about verification standards and some called for an OpenAI boycott, while the Association for Human Mathematics criticized the release.
