2026年9月，Vals AI公布一项震撼突破：10个Claude Opus 5.5智能体在沙盒协作15小时，历经733次讨论，提出全新最短路径算法C-HD，并一次性通过Lean形式化验证。在特定稀疏图内，C-HD理论复杂度首次超越计算机科学基石Dijkstra算法。但反转随之而来，开发者C语言实测显示，因常数爆炸与预处理开销，C-HD实际运行反慢于Dijkstra。尽管工程实用性受限，但这证明AI已具备踏入纯理论无人区进行数学创造的能力，被视为AI科研史上的里程碑，人类算法教科书或将由AI重写。

标题：本科经典算法Dijkstra，被证明是普遍最优了：最坏情况性能也最优！ 正文： 金磊 发自 凹非寺 量子位 | 公众号 QbitAI Dijkstra算法，用于解决最短路径问题，历经近70年后被证明具有普遍最优性，无论面对何种复杂图结构，都能在最坏情况下达到理论最优性能。这是学术界首次将这一概...