⌘ K
… 读取采集状态 同步中...
雷
原文
深度学习与NLP· 深度学习与NLP·· 10 天前精选AI 评分81

10 个 Claude Opus 5.5 智能体推导 C-HD 最短路径算法

震撼,Opus 5.5首次突破Dijkstra算法最短路径!

AI 导读

Vals AI 使用 10 个 Claude Opus 5.5 智能体在 15 小时内推导出 C-HD 最短路径算法,并完成了 289 个文件组成的 Lean 形式化证明。该算法在理论上超越了 Dijkstra 算法的复杂度,但工程实测显示其在实际运行中比 Dijkstra 慢 1.4 到 2.8 倍。

推荐理由

原文记录 Vals AI 用 10 个 Opus 5.5 智能体推导出 C-HD 最短路径算法,并展示了理论突破与工程实测间的巨大反差。

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

来源:深度学习与NLP · mp.weixin.qq.com