从地图导航、物流规划到网络通信,经常需要解决寻找两点之间最短路径的问题。最短路径问题是计算机科学最基础的问题之一,直到最近,Dijkstra算法都是计算该问题的最佳方法之一。近日,AI评测公司Vals AI让10个Claude Opus 5.5智能体协作研究这一问题。Opus 5.5是Anthropic于9月22日发布的新一代高性能模型,主要面向复杂推理、编程和智能体任务。在经过约15小时、733条讨论消息后,它们提出一种名为C-HD的新算法,并用形式化验证工具Lean证明,在特定类型的有向图中,它的理论运行时间优于Dijkstra算法。