Bolzano 多智能体系统自动求解约200个开放数学问题
论文提出 Bolzano,一个使用并行 prover 智能体加 verifier 智能体并维护人类可读研究状态的开源多智能体系统。专家选定问题的早期人工使用产出8个经领域专家核验证明的结果;随后在从四组论文提取的约3800个开放问题上无问题特定人工引导运行,解出约200个。在 STOC 2026 论文的实验中,系统回答了论文中提出的四个问题,经论文作者确认。论文被 NeurIPS 2026 第六届 MATH-AI workshop 接收。
推荐理由:论文给出了多智能体证明搜索系统在约3800个开放问题上的无人工引导实测结果,可了解其解题规模和验证方式。