arXiv cs.CL· Adri\'an Z\'ame\v{c}n\'ik, Mat\v{e}j Kripner, Martin Kouteck\'y, Martin Balko, Jan Greb\'ik, Pavel Hub\'a\v{c}ek, Robert \v{S}\'amal, V\'aclav Rozho\v{n}·· 3 小时前精选AI 评分62
Bolzano：多智能体系统自动求解约 200 道开放数学问题
From Expert-Guided Proof Search to Automated Open-Problem Solving
AI 导读
论文提出开源多智能体系统 Bolzano，由并行证明智能体与验证智能体组成并维护人类可读的研究状态。在专家选定问题上的初步人工使用产出 8 项经领域专家核验的证明；随后在无问题特定人工引导下，对从四组论文中提取的约 3800 道开放问题运行该系统，解出约 200 道。其中一项实验使用 STOC 2026 接收论文，回答了论文提出的四个问题，并得到原作者确认。
推荐理由
论文给出多智能体证明搜索系统在约 3800 道开放问题上的自动求解结果，可了解 LLM 参与数学研究的当前边界。
来源：arXiv cs.CL · arxiv.org