Maths: OpenAI posted 722 AI proofs, 42% machine-checked

On October 6, 2026, OpenAI posted 722 AI-written maths manuscripts. Three withdrawn the next day, 42% formalized in Lean: how to read that number.