{"type": "article", "title": "Claude formalized Fermat's Last Theorem in 11 days", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/claude-formalized-fermat-s-last-theorem-in-11-days", "original_source": "https://www.anthropic.com/news/formalizing-fermats-last-theorem", "published": "2026-09-07T02:54:56+00:00", "accessed": "2026-09-07", "id": "claude-formalized-fermat-s-last-theorem-in-11-days"}