一个 /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 亚毫秒检索。真正难的不是检索,是记忆的新鲜度。
同一周,全球 Token 均价跌破每百万 1 美元,智谱却把订阅价涨了 3.6 倍。一边通缩一边涨价,背后是三笔账:能力溢价、GPU 利用率、自部署门槛。本文给程序员一套能直接抄的选型框架——什么时候该继续用 API、什么时候该自部署、怎么把缓存命中价用到极致。