⌘ K
… 读取采集状态 同步中...
雷
原文
CVer· CVer·· 16 天前AI 评分60

Vals AI 10个Claude Opus 5.5智能体15小时推导出C-HD最短路径算法

突发!Claude Opus 5.5首次颠覆Dijkstra算法最短路径

AI 导读

Vals AI 让 10 个 Claude Opus 5.5 智能体在 15 小时内合作提出 C-HD 最短路径算法,并提交了包含 289 个文件的 Lean 形式化证明,通过机器验证确立特定稀疏图范围内的渐近复杂度上界。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:CVer · mp.weixin.qq.com