NatureAnthropic AI ‘formalizes’ proof of Fermat’s last theorem in just 11 daysDavide Castelvecchi2026-09-07Full textDOI https://doi.org/10.1038/d41586-026-02822-9