Insights2026.10.26
AI turned out 722 math manuscripts at once. Now the scarce resource is mathematicians to read them
OpenAI released 722 AI-generated math manuscripts at once. Of the 719 left after withdrawals, only 42% have proofs confirmed by the Lean program. This piece follows the record of 3 withdrawals over a calculation error the next day, 14 separate proof revisions, and how mathematicians reacted. Together they show math's bottleneck moving from producing proofs to finding people who can read and check them.







