Vals AI
@ValsAI
加入 March 2024
277 正在關注 23.1K 粉絲
We asked ten Claude Opus 5.5 agents to devise 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.
顯示更多
