Lean Prover News

Latest Lean Prover news and analysis — 1 articles tagged Lean Prover 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...