摘要
本文报告了由开源多智能体系统 Bolzano 辅助完成的六项数学与理论计算机科学新成果。Bolzano 通过协调并行证明智能体与验证智能体之间的多轮交互，并维护跨轮次的持久知识库来开展工作。依据显著性 - 自主性分类法，六项结果中有四项达到可发表水平，其中三项基本由 Bolzano 自主完成。研究结果证实了大语言模型能够对数学研究做出实质性贡献，补充了近期相关研究报告的结论。
AI 推荐理由
论文核心展示 LLM 在数学研究中的逻辑推理与证明能力，属推理领域核心应用。
研究机构
Computer Science Institute, Charles University
Institute of Mathematics, Czech Academy of Sciences
Institute of Formal and Applied Linguistics, Charles University
论文信息