Sharing AI progress in mathematics

Summary

OpenAI is releasing a broad set of new mathematical results produced by an internal frontier model, published in a GitHub repository with protocols for paper revisions and citations. Many proofs are shared as formalizations in Lean, and the company will add more as they become available. It is also publishing summaries of the model's reasoning, compute estimates in ChatGPT Pro usage, and attempted-problem statistics, with the average result using roughly three hours of ChatGPT Pro thinking.

Related items

• InfoOpenAI Fires 3 Safety Researchers in Dispute Over AI RisksSame vendor · SecurityWeek
• Info‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest dropSame vendor · The Verge (AI)
• InfoOpenAI reports three new incidents of misalignmentSame vendor · CSO Online
• InfoA new feature for my blog, built using my voiceSame vendor · Simon Willison's Weblog
• InfoOpenAI's revenue scare, Delta earnings, what investors think of a Starbucks-Chipotle deal and more in Morning SquawkSame vendor · CNBC Technology