Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days

(nature.com) by sbulaev | Sep 8, 2026 | 0 comments on HN