mastodon — José A. Alonso — 5 Sep 2026
Formalizing Fermat's Last Theorem. ~ Anthropic. https://www. anthropic.com/research/formali zing-fermats-last-theore…
#ai-aided-mathematics #formal-verification #theorem-proving
Formalizing Fermat's Last Theorem. ~ Anthropic. https://www. anthropic.com/research/formali zing-fermats-last-theorem # AI4Math # LeanProver # ITP