热点事件持续更新
普林斯顿开源多智能体数学形式化协议 Choir
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
普林斯顿团队在 DARPA expMath 项目支持下开源了 Choir 协议，目标是把原本由单个数学家完成的人工证明，扩展到分布式多智能体的大规模自动形式化。按该报道描述，人类监督者在本地运行编排 agent 负责拆解任务，并把子任务挂到 GitHub 仓库；贡献者用自己付费的 agent 认领并完成这些任务。所有提交的 PR 都需先通过 Choir 的确定性信任门自动审计，之后才进入人工评审与合并流程。目前公开信息集中于协议的开源与这套协作流程设计，尚未见关于实际形式化产出规模、参与方或后续版本的进一步报道。
AI 根据报道生成 · 3 小时前更新
最新进展10月3日 07:00
普林斯顿开源 Choir 协议，以 GitHub 任务认领和确定性信任门协调多智能体形式化。报道时间线
沿着报道，了解事件的不同侧面。
10月3日
- AGI Hunt普林斯顿开源 Choir 协议：多智能体协同做大规模数学形式化
普林斯顿团队在 Darpa expMath 项目支持下开源 Choir 协议，用于分布式多智能体自动形式化，把单个数学家的人工证明扩展到大规模自动化。人类监督者在本地运行编排 agent 拆解任务并挂到 GitHub 仓库，贡献者用自己付费的 agent 认领完成，所有提交的 PR 先通过 Choir 的确定性信任门自动审计，再进入人工评审与合并。
本事件热度走势
当前热度 9·可比范围峰值 10（10月3日 08:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。