{"type": "article", "title": "Claude Formalized Fermat in Lean — The Coordination Story Developers Missed", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/claude-formalized-fermat-in-lean-the-coordination-story-developers-missed", "original_source": "https://byteiota.com/claude-formalized-fermat-in-lean-the-coordination-story-developers-missed/", "published": "2026-09-08T17:09:23+00:00", "accessed": "2026-09-08", "id": "claude-formalized-fermat-in-lean-the-coordination-story-developers-missed"}