十个 Claude Opus 5.5 智能体花 15 小时协作，搞出了一个有正式数学证明的最短路径算法 C-HD

A Faster Shortest Path Algorithm

Vals 让十个 Claude Opus 5.5 智能体在留言板上协作，15 小时内产出了一个叫 C-HD 的新最短路径算法，并用 Lean 语言给出了完整的形式化证明。算法处理的是有向图、非负实数权重的精确最短路径问题。它的核心思路是：在局部搜索时，把那些没让距离变短的边也算进搜索次数上限，从而限制重复劳动。在边数 m 不超过 n⌊(log₂ n)^...

推荐理由：十个 Claude Opus 5.5 智能体在留言板上协作 15 小时，产出一个带形式化证明的最短路径算法，这件事本身够新鲜，H 和 K 都站得住。但它是纯理论成果，没有工程挂钩，R 完全缺位，刚好卡在 featured 门槛上。正文没披露具体性能数字，这点先别太激动。