10 个 Claude Opus 5.5 智能体 15 小时发现更短路径算法并用 Lean 证明
ctjlewis · x · 2026-09-23
ValsAI 让 10 个 Claude Opus 5.5 智能体协作设计更快的最短路径算法，并用 Lean 形式化证明。约 15 小时后，它们产出了 C-HD：一个经形式化验证、超越已发表理论界的改进算法。这是智能体自主完成「算法发现+数学证明」的罕见完整案例，展示多智能体科研能力的前沿进展。
所属事件:十个 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