热点事件历史事件
十个 Claude Opus 5.5 智能体花 15 小时协作，搞出了一个有正式数学证明的最短路径算法 C-HD
1 篇报道1 个报道来源7 天前更新
先了解这件事
事实说明
Vals 让十个 Claude Opus 5.5 智能体在留言板上协作，15 小时内产出了一个叫 C-HD 的新最短路径算法，并用 Lean 语言给出了完整的形式化证明。算法处理的是有向图、非负实数权重的精确最短路径问题。它的核心思路是：在局部搜索时，把那些没让距离变短的边也算进搜索次数上限，从而限制重复劳动。在边数 m 不超过 n⌊(log₂ n)^...
报道时间线
沿着报道，了解事件的不同侧面。
9月23日
- Hacker News 首页精选十个 Claude Opus 5.5 智能体花 15 小时协作，搞出了一个有正式数学证明的最短路径算法 C-HD
Vals 让十个 Claude Opus 5.5 智能体在留言板上协作，15 小时内产出了一个叫 C-HD 的新最短路径算法，并用 Lean 语言给出了完整的形式化证明。算法处理的是有向图、非负实数权重的精确最短路径问题。它的核心思路是：在局部搜索时，把那些没让距离变短的边也算进搜索次数上限，从而限制重复劳动。在边数 m 不超过 n⌊(log₂ n)^...