Opus 顺手把 Lean 验证 Agent SDK 的过程做成了信息图
bcherny · x · 2026-09-23
作者 bcherny 在「用 Opus 5.5 以 Lean 形式化验证 Claude Agent SDK、产出 16 个修 bug PR」之后,让 Opus 把这套形式化验证工作流制作成了一张信息图,直观展示用大模型辅助形式化建模找 bug 的方法。
所属事件:Opus 5.5+Lean 形式化验证 Agent SDK 修出 16 个 bug(19 条相关)→
「编程与Agent」频道最新
- 用 fable 5.2 跑 CAD：模型苦思 1 小时烧掉 24.7 万 token 的名场面 — _Stocko_ · 2026-11-12
- Factory 新员工入职一月:企业 AI 之争胜在基础设施而非 demo — maddiehfaulkner · 2026-11-12
- Ploid 发布 20 亿人活体索引，为 AI Agent 提供人物数据层 — HeyToha · 2026-11-12
- 两人小公司用 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