RecodeX 重构消息，Vals AI公布一项实验：将10个Claude Opus 5.5智能体放入沙盒，允许其在虚拟留言板上交流与互相质疑，目标是设计出比经典Dijkstra更快的最短路径算法，并提供可复现的Lean形式化证明。

15小时内智能体留下733条讨论记录，最终提出名为C-HD的新算法，并提交289个Lean文件，经Lean Kernel机器验证一次性通过。该团队称，在特定稀疏图区间内C-HD实现了渐近复杂度上的超越。

不过有开发者用C语言将C-HD实现为约1900行工程代码后实测，其运行速度仍慢于DMMSY算法约1.8至2.9倍，也慢于朴素Dijkstra约1.4至2.8倍。