Formalizing Fermat's Last Theorem - Anthropic

<a href="https://news.google.com/rss/articles/CBMidkFVX3lxTFAyWFpGbGlCLVpoN2ZBUG…; target="_blank">Formalizing Fermat's Last Theorem</a>&nbsp;&nbsp;<font color="#6f6f6f">Anthropic</font>