Bolzano系统自动解出约200个开放数学问题
热点事件持续更新
Bolzano系统自动解出约200个开放数学问题
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Adrián Zámečník等作者发布论文，介绍开源多智能体系统Bolzano：它用并行的证明智能体配合一个验证智能体，并维护人类可读的研究状态。在专家选题的初步使用中，产生8个经领域专家核验证明的结果。 随后该系统在从四组论文提取的约3800个开放问题上无人工引导运行，解出约200个。其中在STOC 2026论文实验中回答了4个问题，经论文作者确认。论文已被NeurIPS 2026 MATH-AI研讨会接收。
AI 根据报道生成 · 1 小时前更新
最新进展10月8日 12:00
多智能体系统 Bolzano 无人工引导求解约 200 个开放数学问题报道时间线
沿着报道，了解事件的不同侧面。
10月8日
- arXiv：cs.CL多智能体系统 Bolzano 无人工引导求解约 200 个开放数学问题
论文介绍开源多智能体系统 Bolzano，它使用并行证明智能体加验证智能体并维护人类可读的研究状态。专家选题的初步使用产生 8 个经领域专家核验证明的结果；随后在约 3800 个从四组论文提取的开放问题上无人工引导运行，解出约 200 个。其中在 STOC 2026 论文实验中回答了 4 个问题，经论文作者确认。论文已被 NeurIPS 2026 MATH-AI 研讨会接收。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。