arXiv · cs.AI· Adrián Zámečník, Matěj Kripner, Martin Koutecký, Martin Balko, Jan Grebík, Pavel Hubáček, Robert Šámal, Václav Rozhoň·· 23 小时前
Bolzano 多智能体系统自动求解约200个开放数学问题
From Expert-Guided Proof Search to Automated Open-Problem Solving
arXiv:2610.09769v1阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Adrián Zámečník, Matěj Kripner, Martin Koutecký, Martin Balko, Jan Grebík, Pavel Hubáček, Robert Šámal, Václav Rozhoň
首次提交：2026-10-07 17:52
研究任务与主要进展
研究介绍了开源多智能体系统 Bolzano，该系统通过并行证明智能体、验证智能体和可读的 research state，在无问题级人工指导下从四组论文提取的约3,800个开放问题中求解了约200个问题。初步专家指导使用产生了8个经领域专家检查的结果；在采用 STOC 2026 论文的一个实验中，系统回答了论文作者确认的四个问题。材料仅提供论文摘要，未说明全部证明的验证细节。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · cs.AI · arxiv.org