OpenAI has published a collection of new mathematical results generated by an internal frontier model. The release includes machine-verified Lean proofs, computational cost metrics, and academic standards developed alongside the Institute for Advanced Study.
FireBrief
FireBrief