Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days (nature.com) 2 points by sbulaev 13d ago ↗ HN
[–] toomuchtodo 13d ago ↗ Formalizing Fermat's Last Theorem - https://news.ycombinator.com/item?id=49568506 - September 2026 (509 comments)
1 comment
[ 0.23 ms ] story [ 10.4 ms ] thread