openai/codex 在 9 月 16 日打了一个空的 rusty_v8 152.2.0 标签,42 个产物躺在那儿,而 main 分支的 Cargo.toml 依旧写着 v8 = '=150.4.0'。真正的信号在两天前的那个 commit 里:他们关掉了 Maglev 和 Turbolev。本文拆开这条从「发布产物」到「仓库主线」的时差,给你一份 Agent 要不要内嵌真 V8 的判断清单。
换 harness 最痛的不是配置,是会话。Claude Code 默认 30 天清理本地 transcript,Codex 官方 /import 只搬设置和最近 30 天聊天。本文拆 txcript 的 Common 模型与 Simple 交换格式,讲清跨 agent 会话转换能保住什么、必然失去什么,以及那个故意的空 system prompt 槽位意味着什么。
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 的区别、'截胡'争议、以及'不可核验的证明算不算证明'。