Claude formalized Fermat's Last Theorem in 11 days

(anthropic.com) by fourfire | Sep 7, 2026 | 0 comments on HN