{"type": "article", "title": "Claude made Fermat's Last Theorem machine-checkable: 13 million lines of Lean in 11 days", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/claude-made-fermat-s-last-theorem-machine-checkable-13-million-lines-of-lean-in", "original_source": "https://provenbrief.com/story/claude-made-fermat-s-last-theorem-machine-checkable-13-million-lines-of-lean-in-", "published": "2026-09-04T23:42:11+00:00", "accessed": "2026-09-11", "id": "claude-made-fermat-s-last-theorem-machine-checkable-13-million-lines-of-lean-in"}