Math

Math is a public research repository containing mathematical manuscripts and supporting proof artifacts produced by internal OpenAI models. It is used to publish work generated while evaluating models on open mathematical research problems. Papers are grouped into families that may contain principal results, companion arguments, consequences, or alternative proofs. The collection spans multiple mathematical disciplines rather than focusing on one subject. Some results include Lean formalizations, while others remain informal or partially verified. OpenAI explicitly notes that unformalized results may contain issues and can be corrected over time. The repository currently functions as a research archive and verification workspace rather than a conventional software library.