Bolzano：LLM 辅助数学研究案例研究
计算与语言
2026-04-27 v2 人工智能
机器学习
计算机科学中的逻辑
摘要
我们报告了在数学和理论计算机科学八个问题上取得的新结果，这些结果都在 Bolzano 的帮助下得出。Bolzano 是一个开源的多智能体 LLM 系统。Bolzano 编排了平行证明智能体与验证者智能体之间进行多轮交互的过程，同时维持一个跨越各轮的持久知识库。根据 Feng 等人的显著性-自主性分类法，六个结果达到可发表研究的水平，其中五个是在 Bolzano 的基本自主情况下产生的。我们的结果为 LLM 能在数学研究中产生实质性贡献提供了证据，补充了 Bubeck 等人、Woodruff 等人以及其他人的报告。
引用
@article{arxiv.2604.16989,
title = {Bolzano: Case Studies in LLM-Assisted Mathematical Research},
author = {Martin Balko and Jan Grebík and Pavel Hubáček and Martin Koutecký and Matěj Kripner and Václav Rozhoň and Robert Šámal and Adrián Zámečník},
journal= {arXiv preprint arXiv:2604.16989},
year = {2026}
}
备注
33 pages, 1 figure. Project page: https://bolzano.app