十个 Claude 智能体 15 小时产出经 Lean 证明的更快最短路径算法

评测机构 Vals AI 让十个 Claude Opus 5.5 智能体协作设计更快的最短路径算法，并用 Lean 定理证明器做形式化验证。约 15 小时后，智能体们产出了名为 C-HD 的算法：一个对已发表复杂度界的改进，并通过形式化验证确认其正确性。该结果展示了多智能体协作在前沿算法研究中的潜力。

2026-09-23 ~ 2026-09-23 · 3 条相关

• 10 个 Claude Opus 5.5 智能体 15 小时造出更短路径算法并用 Lean 形式化证明 — burny_tech · 2026-09-23
• 10 个 Claude agent 15 小时用 Lean 证明最短路算法新上界 — ctjlewis · 2026-09-23

另有 1 条近重复转述:ctjlewis