Lean

OpenAI shares progress on open mathematics problems

OpenAI publishes new results on open mathematics problems from an internal frontier model, sharing Lean proof formalizations and research details on GitHub.