Latest / Models & Agents — Video Edition
Ep 196: OpenAI releases mathematical results from an internal frontier model in a public GitHub…
Models & Agents OpenAI releases mathematical results from an internal frontier model in a public GitHub repository with Lean formalizations and compute estimates. What You Need to Know: OpenAI published new mathematical results generated by a frontier model, along with Lean formalizations, reasoning summaries, and estimates that each result used roughly three hours of ChatGPT Pro compute. The release includes protocols for revisions and citations and follows guidance from the Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study. Watch the repository…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.