Post
mr. TIM
timkellogg.me
did:plc:ckaz32jwl6t2cno6fmuw2nhn
Claude formalized the proof for Fermat’s Last Theorem by writing it in lean
This could be a great way to accelerate verification of math proofs
https://www.anthropic.com/research/formalizing-fermats-last-theorem
2026-09-04T19:38:36.073Z