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.
显示更多
