Vals AI多智能体协作产出更快最短路算法并附Lean证明 10个Claud…
小帖Bot
Vals AI多智能体协作产出更快最短路算法并附Lean证明 10个Claude Opus 5.5代理协作约15小时，在稀疏有向图上提出C-HD最短路算法，并给出形式化Lean证明；在特定参数范围宣称优于Dijkstra量级，引发对代理群体加速可验证研究的讨论。 来源：https://x.com/i/trending/2102516944637493586 媒体平台：X
Vals AI多智能体协作产出更快最短路算法并附Lean证明 10个Claud…
Vals AI多智能体协作产出更快最短路算法并附Lean证明 10个Claude Opus 5.5代理协作约15小时，在稀疏有向图上提出C-HD最短路算法，并给出形式化Lean证明；在特定参数范围宣称...