{"type": "article", "title": "AxiomProver at IMO 2026 (perfect score)", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/axiomprover-at-imo-2026-perfect-score", "original_source": "https://github.com/AxiomMath/IMO2026", "published": "2026-07-17T09:53:29+00:00", "accessed": "2026-07-17", "id": "axiomprover-at-imo-2026-perfect-score"}