ValsAI 称十个 Claude agent 15 小时做出经 Lean 验证的算法改进
alejandroll10 · x · 2026-09-23
评测机构 ValsAI 发帖称,他们让十个 Claude Opus 5.5 智能体协作设计更快的最短路径算法,并用证明助手 Lean 做形式化验证。据称 15 小时内这些智能体产出了名为 C-HD 的结果,是对已发表理论界的形式化验证过的改进。该说法引发了一些圈内转发与调侃,其真实性尚待独立复现,但若属实是多智能体自主科研的标志性案例。
所属事件:十个 Claude 智能体协作发现新算法并获形式化证明(4 条相关)→
「研究」频道最新
- LLM 心理健康应用综述:从模式识别到个性化陪伴三阶段 — He Hu · 2026-09-23
- Flash-dLLM:扩散式 LLM 推理提速最高 11 倍 — MBZUAI · 2026-09-23
- BPO:免 Critic 的镜像下降方法改进 LLM 推理 RL 训练 — apodex · 2026-09-23
- AIDE^2 让 AI 研究 agent 递归自我改进,8 天迭代 7 次 — WecoAI · 2026-09-23
- Ovis-Embedding 发布:统一全模态嵌入刷新 MMEB 等多项 SOTA — Embedding Team · 2026-09-23
- 新方法无需重训即可引导 VLA 机器人模型，抓握成功率 14% 升至 74% — drmapavone · 2026-09-23