Vals AI 把 10 个 Opus 5.5 放进沙盒加留言板，15 小时产出 C-HD 算法：289 个 Lean 文件形式化验证一次通过，在特定稀疏图区间渐近复杂度超越 Dijkstra。反转在工程实测：第三方开发者用 C 语言实现后跑分，比最朴素的 Dijkstra 还慢 1.4 至 2.8 倍——59% 时间耗在标签处理、34% 耗在预处理，理论省下的步骤补不回常数代价。
值不值得深读：值得，本批含金量最高。一篇给两个教训：多 agent 协作（分工自治+对抗评审+机器验证当退出条件）真能闯进理论无人区；“渐近改进不等于工程实效”是评估一切性能宣称的尺子。
提醒：二次转载，源头是 Vals AI 自家宣传，抒情浓度高；工程实测来自第三方个人实现，非原论文基准；复杂度优势只在特定稀疏区间成立。
📺 气象学家《震撼，Opus 5.5首次颠覆Dijkstra算法最短路径！》，微信公众号，2026-09-27 · 原文 · 库内 2026-09-27-震撼，Opus5.5首次颠覆Dijkstra算法最短路径 · 卡片 卡片/观点/10-12-渐近改进不等于工程实效