ValsAI 称十个 Claude agent 15 小时做出经 Lean 验证的算法改进
alejandroll10 · x · 2026-09-23
评测机构 ValsAI 发帖称,他们让十个 Claude Opus 5.5 智能体协作设计更快的最短路径算法,并用证明助手 Lean 做形式化验证。据称 15 小时内这些智能体产出了名为 C-HD 的结果,是对已发表理论界的形式化验证过的改进。该说法引发了一些圈内转发与调侃,其真实性尚待独立复现,但若属实是多智能体自主科研的标志性案例。
所属事件:10个Claude智能体15小时产出经Lean验证的更快最短路径算法(5 条相关)→
「研究」频道最新
- 形式化验证让 AI 编码更快：Lean 证明成为 agent 优化护栏 — bigdata · 2026-11-11
- 教授用纯 NumPy 从零搭建交互式神经网络教学笔记本 — GeostatsGuy · 2026-11-11
- 新 benchmark Continual-ARC:主流 agent 都学不会经验,9B 模型微调可以 — Med1_Ai · 2026-11-11
- Science 子刊：好的对话呈现'粉噪'式的语义波动模式 — _akpiper · 2026-11-11
- 研究：近半数 STEM 博士论文用 AI 写，仅 4.7% 主动披露 — paulnovosad · 2026-11-11
- AlphaGenome 2 商业 API 上 Google Cloud 私测，权重承诺未来开源 — anshulkundaje · 2026-11-11