OpenAI's Model Wrote 719 Math Papers. Read the Lean, Not the Headline.

Free visitor / Readable preview

News analysis · Briefing · Video script · Story artwork

OpenAI published hundreds of AI-generated math results and says about 42% are formalized in Lean. Its own catalogue lists 24%, and the first withdrawals came from the unchecked pile.