{"type": "article", "title": "AI and Mathematicians Play a Game of Proofs in Lean 4", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/ai-and-mathematicians-play-a-game-of-proofs-in-lean-4", "original_source": "https://www.machinebrief.com/news/ai-and-mathematicians-play-a-game-of-proofs-in-lean-4-pzdx", "published": "2026-07-13T06:38:45+00:00", "accessed": "2026-07-13", "id": "ai-and-mathematicians-play-a-game-of-proofs-in-lean-4"}