OpenAI releases 719 AI-generated math manuscripts; researchers say sorting truth from 'slop' could take years
OpenAI published a sprawling GitHub repository containing 719 manuscripts with nearly 400 AI-generated mathematical results across many subfields; the company said about 300 top-line results (≈42%) have formalizations, and it plans to add more. Mathematicians told The Verge the volume and uneven verification quality—only some proofs are formalized in Lean and formalizations vary in quality—will likely require years of community work to assess and verify.