{"type": "article", "title": "AI Used to Verify Toughest Mathematics Proof Yet", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/ai-used-to-verify-toughest-mathematics-proof-yet", "original_source": "https://spectrum.ieee.org/axiom-math-246-theorem-formalization", "published": "2026-08-17T13:00:02+00:00", "accessed": "2026-08-17", "id": "ai-used-to-verify-toughest-mathematics-proof-yet"}