GoKawiilOpenAI releases nearly 400 AI-generated math results across 700+ manuscripts
OpenAI published a massive collection of almost 400 mathematical results spanning combinatorics, geometry, number theory, topology, probability and other fields, contained in over 700 manuscripts. The release was so large that OpenAI issued guidance to help researchers navigate its GitHub repository, and some proofs include Lean formalizations for computational verification.