{"type": "article", "title": "AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/ai-just-solved-a-350-year-old-math-problem-by-writing-the-longest-proof-ever", "original_source": "https://decrypt.co/377491/ai-solved-350-year-old-math-problem", "published": "2026-09-05T13:01:03+00:00", "accessed": "2026-09-07", "id": "ai-just-solved-a-350-year-old-math-problem-by-writing-the-longest-proof-ever"}