🚀 SuperSIHub 3.0 全新上线！精选 SI/AI 工具，支持大模型 Token 订阅与提示词教程 申请收录工具 →
提交工具 / 合作
首页 › SI 资讯 › 正文

Opus 5.5首次突破Dijkstra算法最短路径，实际用起来还没 Dijkstra 快

📅 2026年10月01日 👤 admin 👁️ 669 次阅读

ValsAI 团队让 10 个 Claude Opus 5.5 智能体协作，提出了一个叫 C-HD 的新算法，并用 Lean 形式化证明了它在特定稀疏图条件下的渐近复杂度优于 Dijkstra。不过，后续有人用 C 语言完整实现并实测，发现 C-HD 在现实机器上的运行速度反而比朴素 Dijkstra 慢 1.4 到 2.8 倍。‌‌‌

这个新算法是怎么来的

  1. ‌AI 多智能体协作‌：团队启动 10 个 Opus 5.5 智能体，让它们在约 15 小时、733 条协作消息中反复讨论、挑错、淘汰无效思路，最终提出 C-HD 算法。
  2. ‌必须给出完整证明‌：任务要求不只是“提出想法”，还要用 Lean 形式化语言给出可机器核验的完整证明，最终提交了 289 个 Lean 证明文件并通过内核校验。
  3. ‌研究对象有限定‌：它针对的是带非负实数权重的有向图上的精确最短路径问题，并不是在所有图场景下都声称更优。‌‌‌

为什么理论更快，实际却更慢

  1. ‌大 O 复杂度只看“无穷大趋势”‌：C-HD 在特定稀疏图区间里，渐近复杂度符号上优于 Dijkstra，但大 O 记号会忽略常数开销和预处理成本。
  2. ‌实测代价很高‌：开发者把 C-HD 用 C 语言实现后跑分，发现约 59% 的运行时间花在标签处理，34% 花在预处理上，导致整体比朴素 Dijkstra 还慢。
  3. ‌优势区间很难落地‌：只有当图顶点数膨胀到当前硬件几乎无法承载的规模时，理论优势才可能盖过巨大常数开销；在日常可用的图规模里，Dijkstra 仍然更实用。‌‌‌

这件事真正的价值在哪

  1. ‌不是马上能替换 Dijkstra‌：目前它没有工程实用价值，日常导航、网络路由、物流规划等场景仍可继续用 Dijkstra 或其成熟优化版本。
  2. ‌证明了 AI 能走完硬核理论闭环‌：从构思猜想、反复辩论、排查漏洞，到构建形式化证明并通过机器校验，多智能体协作独立完成了一整套理论研究流程。
  3. ‌提醒我们区分“理论优势”和“工程可用”‌：它更像一次科研范式演示，而不是一个已经可以替换经典算法的实用工具。‌‌‌