openai/codex 0.153.4 起，未显式配置模型时 GPT-6-Astra 成为打包默认。写这篇讲清楚：默认值陷阱、Fast 模式 2x 定价、stable/alpha 双通道与 Bedrock 路由，以及为什么你的 config 里必须钉死模型。
一个 /goal 任务要跑 30–60 分钟，人不可能一直守着机器。本文用一张「权限让渡」清单替开发者选型：官方 ChatGPT Remote（零运维但受保活/平台/网络三重约束）、SSH 私网直连（可控但要自己负责安全边界）、终端复用器（把 TUI 搬上手机）、ntfy 完成通知（只要「完成叫我」）。含每条路线的已知故障与解法。
你 9 点上线批量 agent 任务，10 点撞上 Codex 周上限。官方不公布重置时间，开发者只能在论坛互相'对表'。别追热点——把额度当没有 SLA 的外部依赖：两层水位分清、可观测指标、幂等重试、锁版本灰度升级。
9月7日黄仁勋在 X 回复：'从 ChatGPT 到 o1 再到 Astra，只用了 4 年，AGI 已到来。'但这已是半年内第三次'抵达'——3月播客、8月财报会、9月发帖。ARC-AGI-3 测试 Astra 拿了 99.9%，出题者却明确说'我们并未声称它就是 AGI'。拆一拆：AGI 这个词是怎么从 OpenAI 的使命，漂移成行业营销话术的。
openai-python v3.13.0 悄悄收进 beta.agents，一次调用就能跑 Codex 那套托管 harness。本文用一张「运行时责任清单」帮后端/AI 开发者判断：状态、密钥、沙箱上移到平台划算吗？US 数据驻留、无 ZDR、beta 接口会变的坑在哪。
V4.1 Flash 发布当天，DeepSeek 连开 DeepJIT、DeepSelect、deepseek-recipe 三个内核级仓库。比起'又降价了'，更值得程序员注意的是这套正在成型的开源推理软件栈——以及那个用同一套接口同时喂饱英伟达和昇腾的 xPU 抽象层。
网友发现自家美的洗衣机 19 小时 40 分用了 411MB 流量，美的客服没有正面回应。411MB/天是什么概念？智能家电的数据到底从哪来——固件 OTA、App 长连接心跳、统计 SDK、语音图像上传各占多少？拆一遍设备数据链路，聊聊遥测该怎么设计。
OpenAI 宣布内部模型解出纳维-斯托克斯千禧年难题：约 1 万个并发 agent、88 小时、3000 亿输出 token、Lean 形式化验证。但证明没有公开，纽约大学数学家 Buckmaster 同时指控 OpenAI '学术掠夺'。拆解这场 AI 数学竞赛的台前幕后：欧拉和 NS 的区别、'截胡'争议、以及'不可核验的证明算不算证明'。
Anthropic 用 Claude 11 天完成费马大定理首个完整形式化证明：1300 万行 Lean、29500 个定理、双内核验证。但工程含量最高的是 Prove2Me——把 350 年难题拆成 DAG 任务图、让几十个智能体并行协作的脚手架。拆解它的设计，就是拆解多智能体工程的未来。
Claude Code、Cursor 每次开新会话都像失忆患者，把上周定的架构决策重新问一遍。这个 48 小时涨到 347★ 的纯 Go 项目 okf-agent-memory，把 agent 记忆做成仓库里的 Markdown+YAML，用 git diff 当审计、BM25 亚毫秒检索。真正难的不是检索，是记忆的新鲜度。
