AI
OpenAI publishes AI-generated math proofs, many machine-checkable in Lean
A broad set of new mathematical results produced by an internal frontier AI model is now public, OpenAI said on October 6, 2026, posted to a new repository at github.com/openai/math.
9 Oct