Hacker Neus
Formalizing Fermat's Last Theorem
(anthropic.com)
540 points
by jlebar
10 hours ago |
336 comments
https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h...
