Bolzano系统自动求解约200道开放数学问题
热点事件持续更新
Bolzano系统自动求解约200道开放数学问题
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
论文提出开源多智能体系统 Bolzano，由并行证明智能体与验证智能体组成，并维护人类可读的研究状态。作者报告，在专家选定问题上的初步人工使用产出 8 项经领域专家核验的证明；随后在无问题特定人工引导下，对从四组论文中提取的约 3800 道开放问题运行该系统，解出约 200 道。 其中一项实验使用 STOC 2026 接收论文，回答了论文提出的四个问题，并得到原作者确认。
AI 根据报道生成 · 2 小时前更新
最新进展10月8日 12:00
Bolzano：多智能体系统自动求解约 200 道开放数学问题报道时间线
沿着报道，了解事件的不同侧面。
10月8日
- arXiv cs.CL精选Bolzano：多智能体系统自动求解约 200 道开放数学问题
论文提出开源多智能体系统 Bolzano，由并行证明智能体与验证智能体组成并维护人类可读的研究状态。在专家选定问题上的初步人工使用产出 8 项经领域专家核验的证明；随后在无问题特定人工引导下，对从四组论文中提取的约 3800 道开放问题运行该系统，解出约 200 道。其中一项实验使用 STOC 2026 接收论文，回答了论文提出的四个问题，并得到原作者确认。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。