10 个 Claude agent 15 小时用 Lean 证明最短路算法新上界
ctjlewis · x · 2026-09-23
ValsAI 让十个 Claude Opus 5.5 agent 协作设计更快的最短路径算法并用 Lean 形式化证明。15 小时后它们产出 C-HD：一个对已发表复杂度界的、经形式化验证的改进，big-O 表达式颇为复杂（含 m·log(2+m/(n+1)) 与 m^⅓·(n·log(n+2))^⅔ 等项）。转发者感叹这一结果的惊人。
所属事件:十个 Claude 智能体 15 小时产出经 Lean 证明的更快最短路径算法(3 条相关)→
「模型」频道最新
- OpenAI 改进 GPT-6 Prompt 缓存:输入 Token 最高省 90% — OpenAIDevs · 2026-09-23
- OpenAI 上线 Prompt 缓存仪表盘:可查缓存命中率与失效原因 — OpenAIDevs · 2026-09-23
- Claude 重置按钮已上线网页与桌面端,移动端仍在路上 — edwinarbus · 2026-09-23
- 世界第二棋手 Hikaru 点名称赞 Muse:会主动报错的 LLM — alexandr_wang · 2026-09-23
- 开源模型抢下 Token 用量头名，闭源仍赚走大头 — CackleRooster · 2026-09-23
- 用户称将完全跳过 Opus 5.5,原因是不想每天被 5 小时限额卡住 — BLUECOW009 · 2026-09-23