{"type": "article", "title": "Lean prover Dirac solves the 2026 International Mathematical Olympiad", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/lean-prover-dirac-solves-the-2026-international-mathematical-olympiad", "original_source": "https://www.boundlessintuition.com/blog/dirac-perfect-score-imo-2026", "published": "2026-08-11T06:15:55+00:00", "accessed": "2026-08-11", "id": "lean-prover-dirac-solves-the-2026-international-mathematical-olympiad"}