OpenAI posts 722 math manuscripts from an unreleased model on GitHub
OpenAI published Lean-verifiable proofs and compute disclosures from an internal frontier model on October 6, following weeks of mathematician criticism over earlier, less transparent claims.