10 个 Claude Opus 5.5 智能体 15 小时发现更短路径算法并用 Lean 证明
ctjlewis · x · 2026-09-23
ValsAI 让 10 个 Claude Opus 5.5 智能体协作设计更快的最短路径算法，并用 Lean 形式化证明。约 15 小时后，它们产出了 C-HD：一个经形式化验证、超越已发表理论界的改进算法。这是智能体自主完成「算法发现+数学证明」的罕见完整案例，展示多智能体科研能力的前沿进展。
所属事件:10个Claude智能体15小时产出经Lean验证的更快最短路径算法(5 条相关)→
「编程与Agent」频道最新
- 两人小公司用 46 个 AI Agent 运营：审批门禁、哈希锁文件与翻车复盘 — dkovl · 2026-11-12
- LlamaIndex 让 AI Agent 渗透测试自家 LlamaParse，四天暴露四条经验 — llama_index · 2026-11-12
- Manhattan 字体 v0.0.1：每个字母都是一个 Python 函数 — allanyu_ · 2026-11-12
- 用 Backplane「提示词造出」任意扩展卡,网友呼吁扩展口回归标配 — _Stocko_ · 2026-11-12
- Agent 会话跑了 51 分钟烧 24.8 万 token,网友直呼还在干活 — _Stocko_ · 2026-11-12
- 可视化 AI Agent 团队协作：每个 Agent 一间「房间」，共享知识库 — LiorAloni11 · 2026-11-12