Oct 6, 2026
OpenAI publishes new model-produced mathematical results and a public repository, including Lean formalizations for many proofs and details of its research process.
A broader scientific release after the August results and September Navier–Stokes proof claim. The repository supports inspection and revision; publication does not establish independent acceptance of every result.