OpenAI publishes 722 math manuscripts from an unreleased model

OpenAI said it released 722 mathematical manuscripts organized into 372 families in a public GitHub repository on October 6. The release adds proof artifacts and 10 abridged reasoning summaries to results produced by an unreleased internal model, giving researchers material to examine beyond the company's breakthrough claims. The repository uses an Apache-2.0 license. Many manuscripts include proofs formalized in Lean, a programming language that lets computers check mathematical arguments. OpenAI cautions that some results without formal proofs could contain issues and says corrections will remain accessible alongside earlier versions. An independent mathematics advisory group recommended depositing results in repositories outside AI labs' control. OpenAI says it is exploring community-hosted alternatives.