OpenAI has released nearly 400 AI-generated mathematical results across over 700 manuscripts, prompting a mix of awe and confusion among mathematicians. The vast collection spans various fields, including algebra, geometry, and number theory, but many researchers are struggling to assess the quality and verification of the results due to the sheer volume and inconsistent formalization.
Researchers should closely monitor how OpenAI addresses the verification of its mathematical results, particularly the formalizations in Lean. The ongoing discourse about quality and reliability will shape future AI contributions to mathematics and influence academic standards.