The Century Report AI Agents Formalize Fermat's Last Theorem in 11 Days - TCR 09/06/26 Claude agents turned Fermat's Last Theorem into computer-checked code in 11 days, a job expected to take years, as AI verification turns abundant.
