This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
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