Fermat's Last Theorem News

Latest Fermat's Last Theorem news and analysis — 1 articles tagged Fermat's Last Theorem on The Robotics Media.

• Anthropic's Claude Formalizes The First Complete Machine-Checked Proof Of Fermat's Last Theorem In 11 Days — Sep 7, 2026 — A team of Claude agents on Anthropic's Prove2Me platform produced the first end-to-end, computer-verified proof of Fermat's Last Theorem in Lean — 13...