September 5, 2026 Fermat's Last Theorem Formalized in 11 Days: How AI Upended Mathematical Peer Review AIMathematicsAutomation
