{"type": "article", "title": "Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/anthropic-ai-formalizes-proof-of-fermat-s-last-theorem-in-just-11-days", "original_source": "https://www.nature.com/articles/d41586-026-02822-9", "published": "2026-09-08T00:07:07+00:00", "accessed": "2026-09-08", "id": "anthropic-ai-formalizes-proof-of-fermat-s-last-theorem-in-just-11-days"}