{"type": "article", "title": "Anthropic uses Claude to formalize proof of Fermat’s Last Theorem", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/anthropic-uses-claude-to-formalize-proof-of-fermats-last-theorem", "original_source": "https://siliconangle.com/2026/09/04/anthropic-uses-claude-to-formalize-proof-of-fermats-last-theorem/", "published": "2026-09-05T00:41:41+00:00", "accessed": "2026-09-07", "id": "anthropic-uses-claude-to-formalize-proof-of-fermats-last-theorem"}