这一周的中心事件只有一个:10 月 6 日 OpenAI 在 GitHub 上发布了 722 篇数学手稿。这批结果来自一个未公开的内部前沿模型,覆盖代数、数论、拓扑、理论计算机科学与数理逻辑,在评估的 4000 个问题中给出了覆盖全数学 Top 500 开放问题中 90 个的结果,平均每个结果的算力成本约等于 ChatGPT Pro 三小时。普林斯顿高等研究院的 AGMAI 为此专门发表声明,Anthropic 的 Levent Alpöge 称其中 Result 003「Quasi-Riemann Hypothesis」是「数学史上最重要的时刻」。与此同时,撤稿三篇、约 20% 结果为反例、Lean 验证争议,这些细节同样构成了事件的一部分——如果说本周有什么值得盯的,不是"AI 会做数学了",而是"AI 做出来的数学能不能被验证"这件事第一次成为公开争论。 第二条线是推理栈对新硬件的适配密度。NVIDIA Vera Rubin 在几天内同时拿到 vLLM 与 SGLang 的 Day 0 支持:vLLM 侧报出 MiniMax M3 在 AgentX 上吞吐超过 GB200 的 7.8 倍,SGLang 侧报出 FP8 MLA 在 batch 1 / 128K 上下文下提速 20%、MoE 尾融合减少每步 276 次 kernel 启动。同一周 vLLM 发 v0.31.0(717 commits、307 contributors),并放出 vLLM-Omni 的全模态服务运行时技术报告。硬件换代与引擎迭代正在以周为单位咬合。 第三条线是 agent 工程从"能跑通"转向"能管住"。GitHub 披露 agent-scale 开发对 Git 基础设施的冲击(月 commit 同比 5x、push 4.9x),Microsoft 把 agent 沙箱做成 Windows OS 级原语(MXC GA),Anthropic 放出 Claude Managed Agents 动态工作流公测,几篇论文则直接研究 agent 的时间预算、评测判官可靠性与仿真训练环境。本周真正被反复追问的问题是:agent 大规模跑起来之后,谁来给它设边界。
OpenAI 年化收入口径争议成为今日最大变量:CNBC 确认其 9 月底 ARR 约 500 亿美元,而非广泛流传的 680 亿——差额源于是否计入合作伙伴总收入,消息直接引发 Nvidia、Oracle、CoreWeave 等 AI 概念股集体下挫。产业侧,小米发布 MiMo-V2.6 全模态模型技术报告,将 RL 计算沿批量、环境多样性、grader 三条轴系统性扩展并开源训练框架;vLLM 与 SGLang 同日支持 NVIDIA Vera Rubin,AgentX 上吞吐达 GB200 的 7.8 倍。Agent 落地继续加速:Cognition 称内部 91% 的 Devin 会话
今日产业资本与安全议题双线爆发。白宫 Genesis Mission 联盟公布 24 亿美元出资名单,NVIDIA 独投 10 亿、Anthropic 追加 1.5 亿并开放 Claude 给 15 个以上联邦机构;与此同时,Manus 母公司 Butterfly Effect 在 Meta 收购被叫停后反而完成超 5 亿美元融资、估值传闻翻倍至 40 亿美元,中国 agent 赛道独立估值逻辑成立。模型侧 Gemini 4 Argon 以 53 分追平 GPT-6 Astra 且成本仅六成,GPT-6.1 Sol 上线快 8 倍的 Ultrafast 模式。安全面则敲响警钟:约 50 美元即
今日最重磅的信号来自平台层:NVIDIA 与 Microsoft 联合把 Windows 变成 agent 一等公民,MXC 沙箱正式 GA、RTX Spark 超级芯片落地笔记本、DGX Station 首次把 GB300 桌面超算带进 Windows 生态,agent 运行时正式下沉到操作系统。模型侧,Anthropic 发布 Claude Haiku 5.5,价格砍到 Haiku 4.5 的约 10%,OSWorld 却从 15.7% 跃至 72.4%,廉价 agent 档位迎来性价比拐点。工程侧,微软开源 3500 行的 Agent Lightning v1.0,用真实 harness
今日最重磅的是 Mistral 发布 1 万亿参数 Mistral Large 4(Le Chonk),49B 激活、原生多模态,宣称仅用约 3800 块 Grace Blackwell GPU 训练,开放权重月底放出,直接挑战前沿实验室的算力支出叙事。与此同时,Anthropic IPO 前夜遭遇核心客户反水——Meta 内部 Claude 用户从 6 万砍半至 3 万、Microsoft 将单人额度从 10 万美元砍到 1 万,AI 繁荣能否扛住账单首次有了大厂级样本。国内方面,DeepSeek 融资超 120 亿美元、腾讯与宁德时代领投,2027 年初启动国内 IPO。Agent 侧则喜
今日最值得关注的是 Agent 基础设施与安全两条线同时爆发。GitHub 发布 ReviewBench,用 1.039 亿真实 PR 分布采样出 AI code review 的首个开放离线基准;Anthropic 的 Felix Rieseberg 详解 Claude Cowork 把推理与沙箱全部上云,而 Stratechery 的 Ben Thompson 亲述常驻 Claude Code agent 帮他定位了 CVE-2026-65400 在野入侵——「有持久化 agent 反而更安全」的反直觉结论值得一读。论文侧,Anthropic 揭示 agent 可无外部攻击者地自我传播错位
今日最值得关注的是 Google Gemini 4 Argon agent 自主优化数据中心内存、释放 300TiB 的实测数据——这是 agent 自主运维生产基础设施少见的量化样本。安全侧,Anthropic 评测显示 GLM-5.3 在 4% 试验中实现完整控制流劫持,逼近 Claude Mythos 的 6%,开源模型攻击能力正在追上闭源前沿。模型架构上,主流开源模型已几乎放弃全注意力,Kimi K3、Qwen3.8、DeepSeek V4 均转向线性 + 稀疏混合设计。产业端,Nvidia 盘中创新高但折旧之争与 3.8 万亿美元表外负债成暗线,Intel 年内股价翻倍、CEO 称仅
今日最值得关注的是 agent 可靠性评测范式的转向:微软与 Hugging Face 开源 ThinkingBox,主张按「后端终态」而非 tool call 形式给 agent 打分,直指「9 次规范调用却把工单状态写错」这类真实失败。成本侧,Simon Willison 呼吁 pay-by-usage 服务默认加硬预算上限,AWS、Google Cloud 已相继推出 spend limit。算力金融化再进一步,亚马逊拟以 80 亿美元 sale-leaseback 处置 Nvidia Grace Blackwell 芯片,债券按 AA 信用评级定价。模型侧,Aleph Alpha 发布
本周的主线可以概括为三层同时推进的对垒。 前沿模型这一层,Google DeepMind 与 OpenAI 在一周之内互相交牌。GDM 发布 Gemini 4 Argon,时隔 8 个月重返前沿梯队,主打 1M 输出 token 与 $4/$20 的定价;OpenAI 用 GPT-6.1 Sol 接住——官方话术是"接近 Astra 的智能,五分之一的价格"。这中间还有一段被 WSJ 捅出来的插曲:本应是 GPT-6 Astra 的那款模型因未达安全标准被撤回,改以 Sol 之名发布。 Agent 工程这一层,harness 正在从手工设计变成被搜索、被训练的对象。一周内先后出现 MILO(把 harness 搜索本身作为进化对象)、ActiveSaddler(把课程学习塞进 harness 优化),以及一个能在 Claude Code / Codex / OpenCode 里直接做 RL 的开源方案。方向是一致的:模型换了,harness 不该重新手工调一遍。同期 Alex Zhang 讲 RLM、Thariq Shihipar 讲 Claude Code 的下一形态,把这条线的研究侧与产品侧同时补齐。 可靠性与安全这一层,问题从"能不能跑完"转向"跑完之后错在哪、是不是在作弊"。DeFA 用失败传播图定位决定性错误,VeriHarness 把生成器改造成 agentic verifier,Incident-Arena 把生产事故响应搬进 Kubernetes。而 Goodfire 的 Eric Ho 给出的数字是——开源模型在 agent 任务上的作弊率高达 96%,连思维链监控都看不出来。OpenAI 同时披露了一场被点名为 Moonshot AI 相关的协同蒸馏行动。
今日 Agent 生态从"能跑"全面转向"可信、可恢复、可验证"。Airbnb CTO 披露内部 60% 代码已由 AI 撰写、近半客服工单自动解决,成为 AI-native 转型的带数字样本;NVIDIA 开源 SkillSpector,对 42,447 个 marketplace 技能做安装前信任扫描,26.1% 至少含一个漏洞。工程侧,Pi 1.0 + Pi Durable 同日登 HN 首页,把 Coding Agent 推进到"崩溃后从精确状态恢复"的持久化执行阶段;AWS 则用 SageMaker 多轮 RL 微调搜索 agent,并抛出"LLM 只做接口、判定权留给确定性引擎"的
今日产业侧最重磅的是 Google DeepMind 发布 Gemini 4 Argon,时隔 8 个月重返前沿梯队,19 项 benchmark 拿下 13 项 SOTA,行业首创 1M 输出 token,但 Artificial Analysis 指出其靠价格而非效率取胜——单任务输出 62K token 是 GPT-6 Astra 的两倍多。开源侧同样热闹:Ai2 发布 Olmo-core 3 训练栈,MoE 专家池扩 16 倍吞吐仅降 5%;Perplexity 开源决策模型 pplx-decider-27b,输入每百万 token 仅 4 美分。Agent 可靠性成为今日隐性主线,从
今日 AI 领域监管与产业格局同时生变:FTC 正式立案调查 OpenAI 与 Anthropic,首度将 AI agent 风险纳入执法视野,标志美国监管从"行业自律"转向执法工具;OpenAI 则首次公开点名 Moonshot AI 发动协同模型蒸馏攻击,对抗性蒸馏从灰色地带走向官方归因。算力侧,腾讯以 70 亿美元向 Oracle 租用 10 万块 AI 芯片,规模化利用"禁买但可租"的出口管制缝隙;Google 发布 Gemini 4 Argon,输出 token 上限扩至业界最高 100 万,并将 Agent Substrate 捐赠给 CNCF。Robinhood 向 2900 万