{"type": "article", "title": "Lean 4 proof of Fermat's Last Theorem: how Claude did it in 11 days", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/lean-4-proof-of-fermat-s-last-theorem-how-claude-did-it-in-11-days", "original_source": "https://dev.to/axrisi/lean-4-proof-of-fermats-last-theorem-how-claude-did-it-in-11-days-1ig2", "published": "2026-09-27T15:47:38+00:00", "accessed": "2026-09-27", "id": "lean-4-proof-of-fermat-s-last-theorem-how-claude-did-it-in-11-days"}