22:09
2026-09-22
runtimewire.com
ai-research
Vals AI publishes an AI-devised shortest-path algorithm with a narrow proved advantage
Vals AI published a shortest-path algorithm, C-HD, devised by ten Claude Opus 5.5 agents under researcher Geby Jaff, along with a Lean proof of its correctness and runtime bound produced in about 15 h…