{"type": "article", "title": "From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/from-solvers-to-research-large-language-model-driven-formal-mathematics-at-the", "original_source": "https://arxiv.org/abs/2607.07779", "published": "2026-07-10T04:00:00+00:00", "accessed": "2026-07-10", "id": "from-solvers-to-research-large-language-model-driven-formal-mathematics-at-the"}