{"type": "article", "title": "Advancing mathematics research with AI-driven formal proof search", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/advancing-mathematics-research-with-ai-driven-formal-proof-search", "original_source": "https://arxiv.org/abs/2605.22763", "published": "2026-05-25T18:44:45+00:00", "accessed": "2026-07-09", "id": "advancing-mathematics-research-with-ai-driven-formal-proof-search"}