博尔扎诺：LLM 辅助数学研究案例研究

我们报告了在数学和理论计算机科学的八个问题上的新结果，这些结果是在开源多代理 LLM 系统 Bolzano 的帮助下产生的。 Bolzano 协调并行证明者代理和验证者代理之间的多轮交互，同时维护跨轮的持久知识库。使用 Feng 等人的重要性自主分类法进行分类，八项结果中的六项达到了可发表研究的水平，八项结果中的五项基本上是由博尔扎诺自主产生的。我们的结果证明 LLM 可以对数学研究做出有意义的贡献，补充了 Bubeck 等人、Woodruff 等人以及其他人最近的报告。