10 个 Claude 吵了 15 小时「推翻」Dijkstra，实测反被碾压
新智元 · wechat · 2026-09-27
新智元报道 ValsAI 的实验：10 个 Claude Opus 5.5 Agent 在沙盒中协作 15 小时、留下 733 条讨论记录，提出了号称超越 Dijkstra 的最短路径算法 C-HD，附 289 个 Lean 形式化证明文件并一次性通过内核验证——在特定稀疏图区间内理论上实现了渐近复杂度超越。
反转：开发者 danalec 用 C 语言将 C-HD 写成 1900 行工程代码实测，结果比朴素 Dijkstra 慢 1.4–2.8 倍、比 2025 年的 DMMSY 算法慢 1.8–2.9 倍。原因不是证明有误，而是常数爆炸：59% 时间耗在 16 字节标签处理、34% 耗在预处理，理论省下的步骤抵不过工程开销。
文章认为工程上失败无损其里程碑意义：多 Agent 协作 + 形式化验证已经能踏入纯理论无人区，AI 开始「创造」人类未曾设想的解法，尽管离实用还有距离。
「研究」频道最新
- HuggingFace 本周高赞论文:世界模型与 Agent 自我改进上榜 — yshan2u · 2026-09-28
- ML 筛选 5000 万化合物，7 种蜂类驱避剂田间实验全部有效 — VraserX · 2026-09-28
- 等宽字体可视化 token:帮你理解模型为何"犯怪" — amplifiedamp · 2026-09-28
- 哪些 benchmark 还没被刷爆？RLI 最高分仅 20% — MaximumIntention · 2026-09-28
- 微软研究：千余个无中心编排 Agent 协作,通过率升至 55% — omarsar0 · 2026-09-28
- 研究称 LLM 可从纯语言分布推断因果结构，反驳章鱼实验论 — AndrewLampinen · 2026-09-28