Formalizing Fermat's Last Theorem \ Anthropic [https://www.anthropic.com/research/formalizing-fermats-last-theorem] - 2026-09-06 21:35:31 - public:mzimmerm ai, fermat, formal, proof, theorem - 5 | id:1560503 -
FLT: Anthropic has beaten me to it | Xena [https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/] - 2026-09-04 15:38:17 - public:mzimmerm ai, fermat, formal, math, proof - 5 | id:1560494 -
