OpenAI released nearly 400 AI-generated mathematical results across more than 700 manuscripts, with only around 42 percent formalized in Lean, according to the company's GitHub repository. The manuscripts span fields including combinatorics, number theory, and topology. Mathematicians speaking to The Verge said understanding the release could take years, and several raised concerns about unverified "slop." OpenAI acknowledged the results are at different stages of verification and said it will add more formalizations over time.
No score is assigned. Sources and their independence are shown in the citation chain below.