10 个 Claude Opus 5.5 智能体 15 小时造出更短路径算法并用 Lean 形式化证明
burny_tech · x · 2026-09-23
评测机构 Vals AI 让十个 Claude Opus 5.5 智能体协作设计更快的最短路径算法，并用 Lean 定理证明器验证。15 小时内它们产出了 C-HD：一项通过形式化验证、超越已发表最短路径上界的改进成果。这是 AI 智能体自主完成「算法设计 + 机器可验证证明」全流程的罕见案例。
所属事件:十个 Claude 智能体 15 小时产出经 Lean 证明的更快最短路径算法(3 条相关)→
「编程与Agent」频道最新
- 新工具让 Claude、Codex、Grok 同场协作,告别复制粘贴 — sergeykarayev · 2026-09-23
- Bug Hunt Bench 实测:GPT-6 Astra 登顶,修真实埋 Bug 能力排行榜出炉 — PawelHuryn · 2026-09-23
- 开发者晒 9 月提交量狂飙：Opus 5.5 与 GPT-6 Sol 让他“飞起来” — doodlestein · 2026-09-23
- 用 JEV 分类器分析 Wireshark 数据包,意外挖出家人 WiFi 后门 — multiply_matrix · 2026-09-23
- 299 条真实意图实测:分类器路由比 GLM-4-Flash 慢 6.5 倍但稳 — Sufficient_Flower860 · 2026-09-23
- 开源项目 OpenExecutive:8 个专家智能体组成你的虚拟高管团队,GitHub 5.1k 星 — tom_doerr · 2026-09-23