Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days www.nature.com 6 points by sbulaev 8 hours ago
toomuchtodo 7 hours ago Formalizing Fermat's Last Theorem - https://news.ycombinator.com/item?id=49568506 - September 2026 (509 comments)
Formalizing Fermat's Last Theorem - https://news.ycombinator.com/item?id=49568506 - September 2026 (509 comments)