今天主轴：错的证明撤回了，长跑的 agent 会自己停，危险的是渗透 agent 接上现成模型。
主轴：错的证明撤回了，长跑的 agent 会自己停。
结构：1) OpenAI 因符号错误撤回 3 篇数学稿 2) Opus 一条设计任务约 $74，还提前停 3) 社区在传韩国银行遇袭用了开源渗透 agent
对 JC/OpenClaw：主路由继续 grok-4.7，fallback 仍是 deepseek-flash。长任务限子 agent 和预算。图可以看 diagram-design，别整包塞进 skill。这台机器不装渗透 agent。
风险：韩国细节是 Reddit 转述，不是 CrowdStrike 原文。X 没有官方账号帖。
1. OpenAI 撤回 3 篇数学稿（今天 16:08）
三篇因符号错误撤回，另修 14 篇。形式化 300/719。
来源: github.com · https://github.com/openai/math/blob/main/history.md
2. ⚡ diagram-design 冲上日榜（今天）
今天 1163 星。42 种图，给 Claude Code 和 Codex，拒绝 Mermaid。
来源: github.com · https://github.com/cathrynlavery/diagram-design
3. 数学撤回要不要整包形式化（HN · 144/103）
评论说没人审就会一直错；不形式化就审不过来；错稿灌进去，读者会不看。
来源: HN · https://news.ycombinator.com/item?id=50003107
4. Opus 一条提示画完 55 座城（HN · 69/25）
Astra 53 分钟约 $10。Opus 开 6 个子 agent，1 小时 25 分约 $74，自己停了。
来源: HN · https://news.ycombinator.com/item?id=50004790
5. 韩国银行遇袭被安上模型名单（Reddit · 381/65）
帖子引 CrowdStrike：ARTEX 配 v4.1-Flash，另见 GLM-5.3、Grok 4.6 和 Claude Code。身份没坐实。
来源: Reddit · https://old.reddit.com/r/LocalLLaMA/comments/1x0n4pt/last_week_some_of_south_koreas_biggest_banks_were/
6. 长任务限预算，渗透 agent 不装
Opus 一条设计任务开了 6 个子 agent，大约 $74，还自己停了。主路由继续 grok-4.7，fallback 仍是 deepseek-flash，这种活限预算，不换模型。渗透 agent 接上现成模型就能用，这台机器不装。
来源: HN · https://news.ycombinator.com/item?id=50004790
信号: 官方1 · 社区3 · 开源1 | 调用: fetch 6 · search 5 · browser 8
新增 6 条 | 社区配额 3/2