⌘ K
… 读取采集状态 同步中...
雷
原文
人工智能学家· 人工智能学家·· 14 天前精选AI 评分80

10个Claude Opus 5.5智能体开发出比Dijkstra更快理论复杂度的C-HD算法,但实测性能落后

震撼,Opus 5.5首次颠覆Dijkstra算法最短路径!

AI 导读

Vals AI团队利用10个Claude Opus 5.5 Agent在15小时内并行协作,提出了名为C-HD的新最短路径算法,并在特定稀疏图范围内实现了比经典Dijkstra算法更低的渐近理论复杂度。该算法的289个Lean文件证明通过了机器验证,但社区实测发现由于预处理开销巨大,C-HD实际运行速度比Dijkstra慢1.4到2.8倍。

推荐理由

展示了10个智能体协作发现新算法并被形式化验证,但实测发现其实际性能落后于经典算法,呈现了AI理论突破与工程落地的落差。

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

来源:人工智能学家 · mp.weixin.qq.com