Bolzano求解约200个开放问题

研究介绍了开源多智能体系统 Bolzano，该系统通过并行证明智能体、验证智能体和可读的 research state，在无问题级人工指导下从四组论文提取的约3,800个开放问题中求解了约200个问题。初步专家指导使用产生了8个经领域专家检查的结果；在采用 STOC 2026 论文的一个实验中，系统回答了论文作者确认的四个问题。材料仅提供论文摘要，未说明全部证明的验证细节。

摘自 arXiv · cs.AI

还没有足够的连续观测数据，暂不绘制趋势。