science
OpenAI’s Public Maths Repository Lists 722 Manuscripts
OpenAI’s public repository catalogues 722 mathematical manuscripts in 372 families, produced mostly with an unreleased internal model. The company says the results are at different stages of verification, and many—but not all—have Lean formalizations.