10 个 Opus 5.5 智能体提出 C-HD，形式化证明超越 Dijkstra

Vals AI 公布一项最短路径研究实验：10 个 Claude Opus 5.5 Agent 在 15 小时内完成 733 次讨论，提出名为 C-HD 的新算法，并提交 289 个 Lean 文件通过机器验证。报道显示，这一结果针对特定计算模型和图密度范围给出理论复杂度改进，但开发者后续用 C 语言复现实测后发现，C-HD 在工程性能上仍慢于经典 Dijkstra 和 2025 年的 DMMSY 算法。