{"type": "article", "title": "Lean 4 Bug Found Incidentally by AI, \"Proving\" Collatz", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/lean-4-bug-found-incidentally-by-ai-proving-collatz", "original_source": "https://twitter.com/gro_tsen/status/2082483878480977959", "published": "2026-07-30T11:29:39+00:00", "accessed": "2026-07-30", "id": "lean-4-bug-found-incidentally-by-ai-proving-collatz"}