Formalizing Fermat's Last Theorem | Hacker News

Formalizing Fermat's Last Theorem (anthropic.com)

558 points by jlebar 11 hours ago | 343 comments

https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h...

Loading...