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