⌘ K
… 读取采集状态 同步中...
雷
今天10月12日10月11日更早
2026 年 10 月 13 日 · 星期二每天 08:00 出刊

AI 日报 · 2026 年 10 月 13 日 · 星期二

电商热点雷达 · AI

第 20 期132026 年 10 月星期二
25件大事11个来源0件一手发布3个新模型约 9 分钟读完
头条

马斯克斥资600亿美元收购Cursor，xAI补齐编程数据短板

马斯克承认xAI缺乏编程数据，决定以约600亿美元收购Cursor，并将Cursor并入The X Subscription体系。同日，Meta发布Muse Wonder系列模型进入前沿第一梯队，Anthropic则向Claude订阅用户开放API额度。

01

模型发布/更新

APPSO

Meta 发布 Muse Wonder 系列模型

Meta 发布新模型 Muse Wonder 系列（内部代号西瓜），包含 Muse Wonder 和 Muse Wonder Full，重点优化个人与专业智能体任务，提升跨对话记忆、长时间执行任务及编程能力。

原文
量子位 QbitAI

GPT-6 Astra证明57年「摆圆」难题15至20圆盘情形

非职业数学家nor利用GPT-6 Astra完成了N≤20圆内圆盘的严格最优性证明。模型通过几何约束缩减排列并用计算机排除剩余可能，将证明范围从N≤14扩展至N=20。nor补充了验证和修复工作，展示了人机协作完成数学难题的新路径。

原文
02

产品发布/更新

新智元

Anthropic 为 Claude Max 和 Team 订阅用户免费发放 API 额度

Anthropic 宣布 Claude 订阅与 API 正式打通，Max 和 Team 用户按月免费获得 API 额度，其中 Team 版最高 500 美元，Max 5x 和 20x 分别对应 100 和 200 美元。该额度可用于 Messages API、Managed Agents 和 Agent SDK，但不能用于交互式的 Claude Code。

原文
AI HOT

Cursor 并入 The X Subscription 订阅体系

Cursor 宣布并入 The X Subscription，现有订阅者可保留原方案或切换至新订阅。新套餐下，付费用量在 Cursor、Grok Build 及其他 Grok 产品间共享，且 Grok 模型的编码用量是同档 Cursor 方案的两倍；同时，Cursor 中的第三方模型将转为 API 定价。

原文
03

行业动态

新智元

马斯克承认xAI缺乏编程数据，斥资600亿美元收购Cursor

马斯克在X Takeover活动上表示，全球仅OpenAI、Anthropic和Cursor掌握足够编程训练数据，xAI因此以约600亿美元收购Cursor以补齐关键短板。他同时指出真实程序员的代码交互记录是高质量的训练数据，并发布了Grok 4.5模型，该模型在SWE-Bench Pro解决率为64.7%。

原文
APPSO

开源项目 REA 走红：AI 逆向工程冲击软件商业护城河

开源项目 REA 凭借 11 万 Star 数备受关注，开发者利用该工具配合 Agent 分析软件安装包或运行结果，并重建功能逻辑。《光环：战斗进化》等游戏已出现基于反编译成果的网页移植版本，而日常办公工具 VibeOffice 也实现了在浏览器中编辑 Office 文件。这些实践通过新旧版本对照测试验证有效性，引发了对软件厂商竞争优势及未来价格竞争的重新审视。

原文
新智元

Anthropic上半年封禁1140万Claude账号，申诉成功率仅10.5%

Anthropic年中报告数据显示，2026年上半年其封禁了1140万个Claude账号，申诉成功的仅4.2万次。多数申诉因未提供具体违规理由而被系统自动拒绝，且一旦账号被标记，官方页面即无法提交新申诉，直接导致重度依赖Claude开发代码或处理复杂数据流的用户面临生产力资产瞬间清零的风险。

原文
04

论文研究

AI HOT

Anthropic 研究：小型 AI 模型可能在 IoT 设备上自主复制

Anthropic 发布研究评估小型模型在无数据中心条件下自主复制的可行性。实验显示 9B 模型在 9 类硬件中的 8 类上成功运行推理，且 GLM-5.2 等 30B 及以下模型能完成复制的多数单步。研究指出随着模型能力提升，年底可能出现具备端到端复制能力的小型模型，并估算了此类 AI 蠕虫在 IoT 设备上的传播速度与适应机制。

原文
The Decoder

Google DeepMind 的 AlphaProof Nexus 解决数十个开放数学问题并获同行评审

Google DeepMind 的 AI 系统 AlphaProof Nexus 自主解决了数十个开放数学问题，相关研究已在《科学》杂志发表。该系统基于 Gemini 3.1 Pro，解决了 353 个开放 Erdős 问题中的 9 个，以及 OEIS 数据库中的 44 个猜想。研究通过 Lean 形式化语言验证证明，并经过同行评审，区别于 OpenAI 直接在 GitHub 发布证明的做法。

原文
机器之心

RoboFoundry：具身智能体通过进化系统而非更新模型实现自我提升

新加坡南洋理工大学等团队提出 RoboFoundry 框架，该框架保持基座模型参数冻结，通过进化其上下文、技能和执行接口等系统组件来提升机器人任务表现。在 EmbodiedBench 测试中，该方法使 GPT-5.5 等五个基座模型的平均成功率均有提升，其中 GPT-5.5 从 56.9% 提升至 72.7%，且该分数超过了未进化的 GPT-6 Astra。

原文
05

技巧与观点

Datawhale

拆解明略科技企业级 Agent 开源项目 Octo

Datawhale 成员拆解了明略科技开源的企业级多 Agent 项目 Octo，内部约 1800 名员工与超过 5100 个 Agent 已在平台协同工作。核心设计包括五级阶梯按需接入既有系统，以及将长期记忆与高精度执行解耦的员工 Agent 和专家 Agent 双角色架构。

原文
（本期完）

电商热点雷达 · AI 日报由编辑系统根据公开来源自动编辑，每条均附原文 · 日报合订本