OpenAI publishes new math results from its internal frontier model. The team shares Lean proof formalizations and research details on GitHub.
Opening Kapyn…