10개의 Claude 에이전트가 15시간 만에 최단 경로 알고리즘을 개선하고 Lean으로 증명하다
A Faster Shortest Path Algorithm
Vals AI가 10개의 Claude Opus 5.5 에이전트를 메시지 보드로 연결해 15시간 동안 733개의 메시지를 주고받으며 새로운 최단 경로 알고리즘 C-HD를 개발했다. 이 알고리즘은 특정 밀도 구간에서 Dijkstra와 최신 알고리즘보다 나은 점근적 상한을 가지며, Lean으로 정확성과 실행 시간이 형식 검증되었다. 실제 벤치마크는 없지만 이론적 개선을 증명한 사례다.
에이전트 팀이 무엇을 할 수 있는지 정말 흥미롭다. [데이터센터 속 천재들의 나라](https://darioamodei.com/essay/machines-of-loving-grace); 그 예측은 그리 틀리지 않았다.