Anthropic 将 Agent Skills 标准捐赠 Linux 基金会 AAIF｜2026-10-23

2026-10-23 AI 资讯日报（AI Coding + 具身智能）

1. 【Anthropic 将 Agent Skills 标准捐赠 Linux 基金会 AAIF】

Anthropic 把给智能体装技能包的标准捐给了 Linux 基金会旗下 AAIF，Cursor、Copilot 等 70 多家已接入，累计 2.8 亿次。

2. 【GitHub Next 发布 PDD Kit，用形式化证明约束编码智能体】

GitHub Next 出了个 PDD Kit，让编码智能体交活前先跑形式化证明，把死锁、数组越界这类边界坑堵上，不再靠几个单测碰运气。

3. 【FrontierRefactor 基准：41% 智能体补丁过测试但性能零提升】

新基准拿 7 种语言 60 个重构任务测了一圈：四成智能体补丁功能测试全过，但一点没变快，还有近两成反而更慢。

4. 【前 OpenAI 科学负责人创办 Warp Science，融资 2.15 亿美元】

Kevin Weil 离开 OpenAI 后创办 Warp Science，让化学家戴摄像头和传感手套做示范，训练机器人接管湿实验室，估值 8.65 亿美元。

5. 【IDC：FCC 机器人禁令致美国人形机器人收入下降 58%】

IDC 统计显示，FCC 的机器人禁令让美国人形机器人收入掉了 58%，中国厂商把货转向欧洲，贸易限制正在改写市场流向。