Post #399427 46 Sep 22, 2026, 20:01 UTC A Faster Shortest Path Algorithmhttps://www.vals.ai/blogs/faster-shortest-path-algorithm www.vals.ai A Faster Shortest Path Algorithm | Vals AI We asked ten Claude Opus 5.5 agents to find a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.