RecodeX 重构消息，Vals AI公布了一种由AI推导出的最短路径算法C-HD，并附带了Lean形式化证明。研究人员Geby Jaff指挥十个Claude智能体完成了该算法与证明的产出。该算法的运行时间优势仅适用于有限范围的图结构。