Ten Claude Agents Produce Faster Shortest-Path Algorithm with Lean Proof in 15 Hours

Vals AI had ten Claude Opus 5.5 agents collaborate to design a faster shortest-path algorithm, verified with the Lean proof assistant. In about 15 hours they produced C-HD, a formally verified improvement over published complexity bounds.

2026-09-23 ~ 2026-09-23 · 3 related posts

• Ten Claude Opus 5.5 agents produce Lean-verified faster shortest-path algorithm in 15 hours — burny_tech · 2026-09-23
• 10 Claude agents spend 15 hours devising and Lean-proving a faster shortest-path algorithm, C-HD — ctjlewis · 2026-09-23

1 near-duplicate retellings: ctjlewis