新 闻 → 科教                                             

10个Claude联手打破了Dijkstra的纪录
小盒子的技术分享 | 2026-09-30  

声明: 本消息或因风格和篇幅原因进行过编辑,但未经核实,也不代表我们的立场、观点或建议。如有侵权,联系秒删。[ 使用条款 ]
赞助信息

评测机构 Vals AI 最近做了一个挺轰动的实验。

他们把 10 个 Claude Opus 5.5 放进同一个沙盒环境,配了一个共享看板和 15 个小时,目标只有一个,看它们能不能联手推导出一个渐进复杂度优于经典 Dijkstra 的单源最短路径算法,并且给出形式化数学证明。

这 10 个模型在沙盒里发了 733 条长消息,互相推导定理、挑刺、构造反例,最后还真捣鼓出一个叫 C-HD 的新算法。

点击图片看原样大小图片点
击
图
片
看
原
图

更绝的是,它们不仅写出了伪代码,还用数学证明语言 Lean 4 给出了完整的形式化机器证明,且被编译器严格跑通。在特定密度的稀疏图里,这套算法的理论渐进复杂度上界,确实压过了 Dijkstra 统治几十年的经典纪录。

消息一出来,在技术圈引起了不小的讨论,不少人以为经典理论要被改写了。

但 Vals AI 自己在报告里就写明了,他们没在大规模真实图上跑过测试,证明里的常数巨大,不代表实际能提速。

随后,日本开发者 mizchi 照着论文用 Rust 把 C-HD 完整实现了一遍,拉去和 Dijkstra 对比。从 1.6 万个节点一路测到 419 万个节点,C-HD 每一档都输给了 70 年前的经典 Dijkstra,算上预处理慢了 1.47 到 7.3 倍,扣掉预处理只比核心部分,也还慢 1.12 到 3.9 倍。

为什么理论上超越了经典的算法,在真实跑分里反而会慢上几倍?

要看清这场测试到底发现了什么,我们得先回到寻路问题的起点,在计算机眼里,到底是怎么在一张地图上找路的。

您的观点至关重要

点击朱笔,直抒胸臆

By Google

    © 2026    八阕之地™ by Towards Digital Group关于我们 | 反馈意见 | 业务合作 | 八阕书局 | 隐私政策 | 使用条款  
10个Claude联手打破了Dijkstra的纪录