10 个 Claude Opus 5.5 智能体 15 小时造出更短路径算法并用 Lean 形式化证明
burny_tech · x · 2026-09-23
评测机构 Vals AI 让十个 Claude Opus 5.5 智能体协作设计更快的最短路径算法，并用 Lean 定理证明器验证。15 小时内它们产出了 C-HD：一项通过形式化验证、超越已发表最短路径上界的改进成果。这是 AI 智能体自主完成「算法设计 + 机器可验证证明」全流程的罕见案例。
所属事件:10个Claude智能体15小时产出经Lean验证的更快最短路径算法(5 条相关)→
「编程与Agent」频道最新
- dots 更新支持 agent 同时控制 Windows 与 Mac 双机 — dkundel · 2026-11-12
- Granola 推出 Agent Briefs:每晚为 AI agent 打包你的最新上下文 — soleio · 2026-11-12
- 新基准 Continual-ARC:主流 Agent 均无法从经验中学习 — alifcoder · 2026-11-12
- KubeCon 前夕 Azure Day：AKS 单集群 65 节点跑 2.2 万个 Agent — davemccollough · 2026-11-12
- OpenShell 实用技巧:一条命令把沙箱内 Web 应用暴露到浏览器 — gethackteam · 2026-11-12
- 开发者打造「智能操作系统」：模型与智能体直接内建于 Linux 桌面系统 — NerdyRodent · 2026-11-12