每日 AI 简报

陶哲轩在本人博客公布了加州理工公开演讲《Math 2.0》的讲稿。演讲于当地前一晚举行；此次消息是他公开上传材料并说明思路。他说，讲题原定为“机器辅助证明”，但近期 AI 数学的发展使内容发生了明显调整。

他把讨论分成三个阶段：传统数学研究的“Math 1.0”，当前过度强调让 AI 自动解出开放问题的状态，以及他希望建立的“Math 2.0”。核心主张是，AI 不应只增加已经解答的问题数量，还要帮助维持数学共同体，增进人类对结果的理解，并支持数学在现实世界中的可靠应用与目标协调。

这延续了他本周对解题激励的评论：一项结果除了答案本身，还应能被解释、讨论、接续研究。陶哲轩提出的是怎样使用 AI 的建设性方向，而不是宣布否定 AI 数学能力，也不是确认某一批 AI 证明已经正确。

微软 CEO Satya Nadella 发表长文，认为企业管理前沿 AI 时，应借鉴管理内部高权限人员的做法：明确身份、限制权限、记录行动并建立隔离。他并不是断言所有模型都恶意，而是指出，足够有能力、又接触重要系统的行动者，既可能犯错，也可能被攻击者利用。企业不能仅凭模型提供商的保证，就把责任一并外包。

他主张把模型提供的能力与实际行动授权分开。模型能访问哪些数据、调用哪些工具、采取哪些操作，应由外部系统决定，模型自身不能绕过或修改这些控制。关键动作要留下防篡改、供人阅读的证据；验证工作也必须独立，避免同一个模型既执行任务，又独自掌握用来证明自己合规的材料。

纳德拉还要求持续测试失败、攻击和系统变化等情况，从一开始就假设模型可能被攻破，并让获授权人员随时能够暂停或终止执行中的任务。出现事故后，应及时告知受影响者并共享失效原因。这是一组治理和工程设计倡议，原文没有宣布一项当天已上线的微软“紧急刹车”产品。

vLLM 联合 Inferact、NVIDIA 和 Red Hat 公布对 Vera Rubin NVL72 的支持与初步性能结果。开发者已可使用基于 CUDA 13.4 的 nightly 容器，在相应硬件上部署 DeepSeek、Kimi、GLM、MiniMax 等模型；团队还在适配 Rubin 专用计算内核和显存访问方式，以减少推理过程中的数据读取开销。

最受关注的数字来自 MiniMax M3 的 AgentX 测试：在保持相同交互速度时，每 GPU 吞吐最高达到 GB200 NVL72 的 7.84 倍；把交互目标固定为每秒 150 tokens 时，则为 5.18 倍。这里比较的是在响应速度约束下能服务多少推理工作，不是说每位用户看到的文字都快了 7.8 倍。

这些仍是特定模型、硬件和软件栈上的早期预览。容器是 nightly 构建，优化还在继续；结果不能直接推成所有模型、功耗或总成本都具有同样优势，也不是 MiniMax M3 在当天首次发布。

Qoder 宣布桌面端 Fast 模式上线。国际版原有 Performance 会自动替换为 Fast；国内版则新增 Fast 档位。官方称，通过底层模型与路由、智能体执行链路和网络延迟三方面优化，首次响应由原来的约 8 秒缩短到 3 秒，并保持同等输出质量。

国际版原 Performance 的 Credits 消耗系数从 1.1x 降为 Fast 的 0.8x，约减少 27%，已有积分余额不变。国内版同样公布 Fast 为 0.8x，但不能把国际版旧档位的对比直接套到国内版。国内版需要更新到 0.4.4 或更高版本；国际版旧版本可能看得到 Fast，官方仍建议升级以获得完整端到端优化。

此次先在桌面端提供，IDE、JetBrains 插件、CLI 等其他产品随后跟进。3 秒及质量不变都是官方口径，实际延迟取决于任务与环境，不代表整项编程工作能在 3 秒内完成。

Frontier Infra 发布 Jebadiah v2.1 的 27B、9B 两组开放权重，采用 Apache-2.0 许可。它们是基于 Qwen 后训练的决策模型：给定候选标签、是非题或评分规则后，直接输出选项概率，供分类、路由和自动化流程调用，而不是用来持续生成聊天内容。开发者可下载后自行部署，并按应用需要设置决定何时采纳结果的阈值。

作者自测显示，两种规模的公开基准综合成绩比前版提高，但“工具与自动化”分项都下降；完整榜单还包含私有测试，不能把作者提交的公开集成绩写成已经被榜单接受的最终结果。模型卡也没有证明图像决策能力。

本地使用仍有硬件门槛：原始 bf16 权重约占 56 GB 和 19 GB，运行时还需要额外内存。可下载与宽松许可，不能简化成任意个人电脑都能直接运行。

Nous Research 在 Nous Portal 上限时免费提供名为 MISSINGNO 的模型，定位是编程和智能体推理，也可接入 Hermes Agent 使用。团队强调它较省 token，意在让开发者用较少的生成消耗完成相应任务，但原公告没有给出对照测试，因此效率优势仍是厂商说法。

这次确认的是 Portal 上的可用入口与限时免费活动。原帖没有公开基础模型身份、参数规模或下载权重，也没有列出免费结束日期、每账户配额和地区条件；不能把它写成已经开源或永久免费的模型。实际调用应以 Portal 显示的模型和账户限制为准。

llama.cpp 把针对 SYCL 后端的 MXFP4 混合专家模型优化合入 b11540 构建。改动集中在量化权重的算术解码和权重重排，减少推理时处理这些权重的开销；使用 Intel 显卡运行相应量化模型的开发者，是更直接的受益对象。

原 PR 在 Arc Pro B70 上测试 gpt-oss-20b，报告生成速度约达到原来的 1.9 倍。这个数字属于指定显卡、模型和测试设置，换显卡、输入长度或量化方案后，收益并不相同。当天的新进展是优化进入可下载的预发布构建，基准此前已在 PR 中披露，不能包装成当天新研究或所有硬件通用的“速度翻倍”。

Midjourney 开始招募小范围社区测试者，试用它的 MCP 接入。官方想找同时愿意做艺术探索和技术试验的人，研究这种连接方式能把 Midjourney 模型用于哪些新的创意流程。当前需要申请，公告没有给出面向全体用户的开放日期。

使用范围被明确限定为艺术和创意活动。Midjourney 特别说明，这次测试不供开发者把它封装进 SaaS 产品，因此不能把招募等同于开放了可自由商业集成的通用 API。感兴趣的创作者应按原帖申请，并以测试资格和用途要求为准。

Perplexity 官方支持在向工程团队确认后，澄清 Decisions API 对一批问题的计算和计费方式：即使请求只放了一份共享文档，每个问题仍会带着完整上下文分别推理，文档的输入 token 因而按问题数量重复计入 usage.input_tokens，账单也使用这个数值。

例如，同一批有 8 个问题，共享上下文增加 1,000 tokens 时，用户测试中记入的输入用量增加了 8,000，而不是 1,000。这个差异对长文档、多问题分类任务的成本估算很关键：批量提交不等于只付一次文档输入费用。官方把行为确认为现有设计，并把“每请求只计算一次共享上下文”的建议转交为功能请求；这次答复没有宣布涨价，也没有承诺已经完成改进。

GitHub Copilot 的 JetBrains 插件增加企业默认模型和工具启动控制。管理员可为新对话指定默认 Copilot agent 模型，用户明确在模型选择器中选了其他模型时仍保留其选择；新增 MCP 设置则可关闭 Copilot 和 Claude 的服务自动启动，让已配置的外部工具在何时启用更可控。

代码诊断菜单新增 Fix，点击后可直接打开行内聊天并请 Copilot 修复问题：agent 模式可用时采用该模式，否则使用 ask 模式。此次也改进账号切换、按轮次浏览对话及多项会话可靠性。兼容性方面，插件已经结束对 JetBrains IDE 2025.1 的支持，继续使用需要 2025.2 或更高版本。

llama.cpp 当天的预发布构建包含两项不同变化。b11551 新增 MiniCPM-V 4.7 的转换与多模态运行支持，方便开发者把已有模型接入本地推理框架；这是框架支持更新，不能当成 MiniCPM-V 4.7 模型当天首次发布。

随后 b11552 修复服务端固定请求槽位的上下文缓存问题：当槽位还在处理当前任务时，缓存可能提前被新内容替换，导致进行中的生成继续使用错误上下文。运行并发服务、依赖槽位与缓存管理的部署应关注这一正确性修复。两个构建都标为预发布，实际升级仍应按所用后端和服务配置核对。

《The National》在一篇原创采访报道中呈现 AI 投资回报的两面。受访分析师指出，大型云和科技公司已有真实收入、利润及增长，因而不能简单照搬互联网泡沫时期“公司只讲故事、不赚钱”的类比；AI 对广告、云服务等现有业务的贡献，是乐观判断的重要理由。

宝盛集团首席投资官 Yves Bonzon 则把前沿 AI 实验室视为产业链中盈利最不确定的一环：它们竞相开发能力更强的智能体，推动芯片、内存、云、数据中心和电力支出，但自身能否收回投入仍未确定。融资成本和高估值又让这条回报路径承受额外压力。

这场争论的关键，是区分哪一环已有盈利、哪一环还在为未来需求投入，而不是只看股价上涨就宣布没有泡沫，或只看投入巨大就认定泡沫必然破裂。报道呈现的是分析师对需求、估值和盈利链条的判断，尚不能证明前沿实验室的最终商业结果。

10 月 10 日《卫报》采访中，George Williamson 再次倡议增强英国 AI 自主能力，防范境外断供。

他是英国艾伦·图灵研究所 CEO，这一主张与此前公开的方向相衔接。该所 5 月任命公告中，他已把自主技术能力、国防安全和可持续发展联系到“国家韧性”；9 月 23 日公布的前沿 AI 风险议程又提出，讨论不能只由科技企业主导，也不能只关注最极端的未来情景。该所主张评估网络安全、失去有效人类控制等风险，强调许多底层能力、行为和危害已可观察，应据此形成可测试的工具和治理办法。

因此，“自主”在这里涉及关键技术能否持续获得、能否检验和控制，以及国家机构如何提供独立证据与建议。这是负责人倡议和既有研究议程的背景，不表示英国当天已经完成自有模型或出台新的强制规定。

AutoClaw 预告 10 月 12–16 日的登录奖励，所有时间按北京时间计算。全体用户周一登录可领取 1 亿 GLM-5.3-Flash 等值 Tokens，周二到周五每天可领 800 万；连续五天都按规则领取，基础奖励合计最高 1.32 亿。每份奖励都在领取当日午夜失效，不能把五天额度攒到周末统一使用。

周二至周五，符合条件的 AutoClaw 月订阅、团体订阅及 GLM Coding Plan 个人付费用户另有每日分档奖励。AutoClaw 月订阅 Lite、Base、Pro、Max 分别为额外 500 万、5,000 万、7,000 万、8,000 万；GLM Coding Plan 个人 Lite、Pro、Max 分别为 5,000 万、7,000 万、8,000 万，团体档按应用显示。

每天零点后登录领取，每账户每日一次；同时拥有多个合格会员只按最高档计算，不叠加。额度用于 AutoClaw，不能当成可提现资产或通用 API 余额。此次是下周活动预告，领取和可用情况仍以账户实际显示为准。

腾讯云预告智能体开发平台 ADP 从北京时间 10 月 12 日起使用新版订阅套餐。体验版供免费体验与验证；进阶版面向个人开发，含 1 个成员 License；企业标准版含 20 个，可按需增购。进阶版和企业标准版提供 Agent Portal，用于统一管理智能体、配置访问权限和开展多智能体协作。

成员人数改用 License 计量：一份绑定一个腾讯云子账户，未获分配的子账户会受权限限制，需要管理员分配。旧套餐已购权益在原有效期内继续保持，原免费版则转为体验版。购买新版并生效后，存量中超出新版赠送配额的资源可暂时保留三个月，但不能继续增加超配额资源；过渡期结束后按超量规则扣减 PU，可通过清理或购买资源包处理。

套餐到期后账号回落到体验版，子账户 License 会回收，重新购买并分配后才恢复相应权益。公告没有在正文列出各档价格和完整配额，迁移前需查看新版计费说明；10 月 12 日是生效日期，不是本条公告的发布时间。

《金融时报》据直接了解情况的人士报道，英伟达正与 Reflection AI 商谈进一步投资或收购；也可能采用另一种结构，让英伟达招聘团队、取得技术许可，而不是把整家公司买下。Reflection 本身开发面向编程和智能体任务的模型，因此不同交易结构会影响人员、技术权利及公司的独立性。

报道说讨论仍在早期，可能在未来数周达成协议，也可能破裂，没有公布最终价格或选择了哪条方案。Reuters 转述时明确表示未能独立核实，双方当时也未回应。现阶段可以确认的是媒体披露了这些谈判可能性，不能写成英伟达已经完成收购，亦不能把本周 Beam 模型公告当作交易已成的证据。