From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

This paper explores the transition of large language model-driven theorem provers from solving well-defined problems to assisting with frontier mathematical research and open conjectures.

Firefly links to the original publisher. The summary above is AI-generated for orientation and may differ from the source. The “current rank score” decays over time so newer significant stories surface first.