技术热点透视20260914:Devin 母公司估值 480 亿美元,自主编程 Agent 被资本按下加速键
Cognition 完成 20 亿美元 E 轮、估值 480 亿美元,Devin 自主编程 Agent 被资本按下加速键;拆解估值与营收轨迹、自主性层级,以及 harness 正在取代模型成为新护城河。
Cognition 完成 20 亿美元 E 轮、估值 480 亿美元,Devin 自主编程 Agent 被资本按下加速键;拆解估值与营收轨迹、自主性层级,以及 harness 正在取代模型成为新护城河。
Cognition 完成 20 亿美元 E 轮、估值 480 亿美元,Devin 自主编程 Agent 被资本按下加速键;拆解估值与营收轨迹、自主性层级,以及 harness 正在取代模型成为新护城河。
一行 .git/config 就能让 AI 编程 Agent 在你说「信任」之前替你跑起别人的命令。Manifold Security 的 GitSpawn 让 7 个主流 Agent 全线失守;同期安全初创 Accomplish 通报的「沙箱泄漏」里,Cursor、OpenAI 约一周修完,Anthropic 花了约 50 天、30 个版本。当 Agent 已坐到你的 SSH key 旁边,沙箱这道最后的闸门,自己先漏了——这不是「又修了个 bug」,而是 Agent 安全正从功能变成采购条款。
GPT-6 Astra 上线十天,OpenAI 砍额度、发重置卡、暂停 200 美元套餐新订阅、下线 Spark。本文盘点社区证据、拆解四层工程原因,并分析官方接下来会怎么做。
9 月 12 日凌晨,25 位菲尔兹奖得主(含 2026 新科得主邓煜、Deligne、吴宝珠)联名公开信,抨击 OpenAI、Anthropic 把攻克千禧年难题当基准与 IPO 前公关素材,称其伤害数学共同体。争议核心不是「AI 能不能做数学」,而是当自主研究 Agent 跑出证明,跑了三百年的优先权、署名权、同行评议制度是否还成立;数学界本周重新撞上的「身份/授权/审计/信用」四问,与生产级商业 Agent(蚂蚁 APASS/KYA)要解的是同一组治理难题。
2026 年 9 月 10 日 OpenAI 开放 Agents API 公测,把驱动 Codex 的 harness 作为托管服务交给开发者:单端点创建生产级云 agent,OpenAI 负责会话保活、上下文自动压缩、故障恢复与子 agent 协调,执行环境可选托管沙箱、自有基础设施或九家合作方。本文讲清基本介绍、优点、缺点、六个坑、安全与数据边界(美国驻留、不支持 ZDR),并用可复现的成本模型算出容器空转、缓存重算 12.5 倍、272K 定价悬崖、子 agent 放大 4.54 倍等真实数字,最后回答个人开发者到底用不用得上、什么场景值得上。
Anthropic 工程博客 2026 年 1 月发布《Demystifying evals for AI agents》,把「怎么知道 agent 到底行不行」拆成可执行的工程流程:task/trial/transcript/outcome/grader/harness 八个词的定义、三类评分器的分层组合、能力评估与回归评估的分工、pass@k 与 pass^k 的区别。本文做完整解读,并补上社区的四盆冷水(基准数据污染、统计功效不足、harness 自身失控、只做离线不做线上),以及四类真实业务场景(知识库研究、客服对话、编码、无人值守自动化)的落地做法。
9 月 10 日 Cognition 发布编程模型 SWE-2:底座是月之暗面开源的 Kimi K3(2.8T 参数),后训练逼近前沿,FrontierCode 1.1 距 Fable 5.1 仅 0.9 分、成本约低 64%,距 GPT-6 Astra 差 3.3 分、成本约 1/4;Terminal-Bench 2.1 达 92.8% 全场最高,但最难的长程任务 Terminal-Bench 4.0 仅 27.3%(前沿约 56)。核心信号:编程模型竞争从「谁更聪明」翻篇到「离前沿足够近时谁更便宜」,护城河从预训练底座转移到后训练 RL 配方 + harness + 数据飞轮;分发上不卖 API、只绑 Devin 订阅(20 美元/月无限用)。
9 月 9 日开幕的外滩大会 2026(上海,9/9–9/12),300 多家企业、1.5 万㎡展区,最显眼的变化是机器人不再跳舞弹琴,而是上岗当「打工人」:蚂蚁灵波人形机器人在 80cm 宽货架通道分拣药品、已落地上海国大药房真实门店;「一脑多机」让同一大脑驱动药房/仓库/工厂多形态设备;复旦眸深、擎朗、开普勒在制造业与高危巡检真实工位落地;生活智能体「阿宝」把服务入口从 App 换成一句话。评价标准从「能做什么」滑向「做什么划算、稳不稳」。但泛化性(产线 99.9% 可靠)、成本账(TCO 尚未低于人力)、非标集成(MES/ERP 重接)仍是三道真坎。同日小鹏 IRON 全球首条通用人形机器人自动化产线启用(自动化率超 80%)、优必选约 600 台 Walker S2 复购、WRC 采购日 49 家央企带真实场景——具身智能正复刻自动驾驶节奏:先资本叙事、再真实订单、最后规模毛利,当前更靠近量产验证而非规模盈利。胜负手在稳定交付,不在模型炫技。
C / Python / Go / Rust 四语言实测 WSL2 Linux 6.18 内核的 Landlock,给 AI Agent 套沙箱的零依赖启动器。
OpenAI 内部智能体给出 Navier-Stokes 受迫爆破候选证明,Lean 形式化验证,与一场关于算力与学术伦理的抢发争议
赠送积分快过期,索性拿来试 AI 短剧生成。完整复盘:一致性三件套、12 张关键帧、全部 Prompt、ffmpeg 合成脚本、积分与人民币成本账,以及与可灵/Seedance/Runway/Veo 的横向价格对比。
腾讯云 CubeSandbox 全栈开源之后,重新盘了一遍 2026 还在活跃的开源 AI Agent 沙箱:腾讯 CubeSandbox、阿里 OpenSandbox、CNCF agent-sandbox、E2B、Daytona,以及被忽略的本地进程级派(bubblewrap/Landlock/srt)和 WASM 边缘。结论:接口层正在收敛到 E2B,沙箱从“选型”走向“换 driver”。
短篇能打、长篇会飘;Suno v5.5 与 Mureka V9.5 跨过了像不像,正撞上可控、可编辑、可确权三道墙。把'能生成'和'能创作'拆开看,会发现小说和音乐卡在同一道坎上——有状态的迭代。
拆解曾鸣访谈里“模型公司就是 AI 云公司、同质化供给无高利润”这条推理链:同质化不是物理定律,真正决定利润池的是计价单位——从 token 到 outcome 的迁移。