OpenAI’s largest mathematics release tackles 4,000 problems with Lean-checked proofs

OpenAI has released a large collection of mathematical research produced by an internal frontier model,...