mastodon — José A. Alonso — 10 Sep 2026
AI software completes a formal proof of Fermat’s Last Theorem. ~ David H Bailey. https:// mathscholar.org/2026/09/ai-sof…
#proof-assistants #formal-verification #ai4math
AI software completes a formal proof of Fermat’s Last Theorem. ~ David H Bailey. https:// mathscholar.org/2026/09/ai-sof tware-complete-a-formal-proof-of-fermats-last-theorem/ # AI4Math