{"type": "article", "title": "AI Smuggles a Bug into Lean 4 While 'Proving' Collatz — Wait", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/ai-smuggles-a-bug-into-lean-4-while-proving-collatz-wait", "original_source": "https://promptcube3.com/en/news/4426/", "published": "2026-07-30T17:13:38+00:00", "accessed": "2026-07-30", "id": "ai-smuggles-a-bug-into-lean-4-while-proving-collatz-wait"}