A anthropic.com Formalizing Fermat's Last Theorem https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h... 773 points jlebar 1 month ago 512 comments
