历史 AI新闻

全部

1. Anthropic：用 Claude 对 123 个开源库做大规模形式化验证，生成约 1.8 亿行 Rocq 证明

   把形式化验证从专家专属推进到百库规模，安全叙事强且刚发布。

   @AnthropicAI2,223 赞 · 199 转发 · 202 回复 · 142,413 浏览查看原帖

   展开收起Anthropic：用 Claude 对 123 个开源库做大规模形式化验证，生成约 1.8 亿行 Rocq 证明

   Anthropic Frontier Red Team 与 Theorem 合作，用 Claude 在数周内对超过 100 个真实开源库、共 239 个入口点做汇编级（RISC-V）形式化验证，证明在单线程静态二进制、固定内存预算、Linux 等假设下，对任意小于 64 MB 的输入不会因内存安全错误或断言失败而崩溃。证明约 1.8 亿行 Rocq，中位库约 1.8 万条 RISC-V 指令、单份证明约 60 万行；证明过程中还发现多年 fuzz 未抓到的漏洞（含需约 20 MB 特定布局输入的下溢写越界等）。团队公开部分可复验证明与 RISC-V/OS 语义，Theorem 将为其他开源项目提供同类管线，并发布 Claude skill。

2. Claude 网页/桌面/移动端下周起默认 Auto Mode：分类器拦截风险操作，可随时切回手动

   直接影响数百万付费用户的日常交互摩擦，传播快。

   @claudeai9,762 赞 · 329 转发 · 396 回复 · 533,857 浏览查看原帖

   展开收起Claude 网页/桌面/移动端下周起默认 Auto Mode：分类器拦截风险操作，可随时切回手动

   Anthropic 宣布，下周起 Pro、Max、Team 套餐在 Claude 网页、桌面与移动端会话默认开启 auto mode：不再逐步征求批准，而由自动化检查拦截风险操作，用户可随时切回手动。官方引用此前 Claude Code 测试：自动模式抓住约 89% 的危险命令，手动批准仅约 14%。免费用户不受影响。此举延续 8 月 Claude Code 已默认 auto mode 的做法，把低摩擦 Agent 体验扩到全端会话。

3. Anthropic 将 Agent Skills 捐赠给 Agentic AI Foundation；70+ 平台已接入，含 ChatGPT、Cursor、Copilot

   Agent 互操作标准进入中立治理，跨厂生态意义大。

   @ClaudeDevs5,638 赞 · 243 转发 · 196 回复 · 420,490 浏览查看原帖

   展开收起Anthropic 将 Agent Skills 捐赠给 Agentic AI Foundation；70+ 平台已接入，含 ChatGPT、Cursor、Copilot

   ClaudeDevs 宣布把 Agent Skills 标准捐赠给 Agentic AI Foundation（此前 MCP 也捐给同一基金会）。自 2025 年 12 月以来，已有 70 多个 Agent 平台接入，包括 ChatGPT、Cursor、GitHub Copilot 与 VS Code。现有 skill 与许可证不变；任何人可不加入 AAIF 就使用或贡献。技术指导委员会由来自 Anthropic、Earendil (Pi)、Google、Microsoft、OpenAI、OpenCode 的工程师组成，首要任务是版本化发布、正式提案流程与安全指引。

4. Richard Socher 发布 Flint：Recursive 首款本地编码模型，MacBook 上 125+ tok/s，权重已开源

   本地编码模型高传播，开源权重降低试用门槛。

   @RichardSocher8,062 赞 · 851 转发 · 594 回复 · 3,259,388 浏览查看原帖

   展开收起Richard Socher 发布 Flint：Recursive 首款本地编码模型，MacBook 上 125+ tok/s，权重已开源

   Recursive SI 发布首款模型 Flint：面向本地编码的快速模型，由自动化研究系统 Eureka Machine 在不到 4 个月内从零构建。官方称在同类本地编码中表现领先，速度可达可比模型约 2 倍：MacBook Pro 上 125+ tokens/秒，RTX Spark 上 150+。权重已在 Hugging Face 开放，可在常用框架本地运行，也可在 OpenCode、pi.dev 免费试用。卖点是本机私有、不计费的智能。

5. 1Password for Agents：Agent 登录时申请凭据，你批准后由 1Password 直填，Agent 看不到密码

   补齐 Agent 时代密码安全缺口，跨多家 Agent 厂合作。

   @1Password6,497 赞 · 537 转发 · 427 回复 · 644,819 浏览查看话题

   展开收起1Password for Agents：Agent 登录时申请凭据，你批准后由 1Password 直填，Agent 看不到密码

   1Password 发布 Agents 平台，合作方包括 Muse、xAI Grok Bot、Claude、OpenAI、Perplexity、Browserbase 等。Agent 遇到登录表单时向你的保管库申请凭据；你批准后由 1Password 直接向目标站点自动填充，Agent 无法看到或持有密码。个人与家庭账户免费且默认关闭，未选择加入连接器时 Agent 无法触碰保管库。面向希望用个人 AI Agent 又要保留密码控制权的用户。

6. Claude 模型在 Google Cloud（Anthropic 托管）正式一般可用，支持 IAM、计费与承诺金抵扣

   云厂商分发通道再加一条，企业采购路径更清晰。

   @claudeai2,376 赞 · 138 转发 · 152 回复 · 188,696 浏览查看原帖

   展开收起Claude 模型在 Google Cloud（Anthropic 托管）正式一般可用，支持 IAM、计费与承诺金抵扣

   Anthropic 宣布 Claude Models on Google Cloud（Anthropic managed）正式一般可用：可在 Google Cloud 上使用完整 Claude Platform 能力，包括 Managed Agents、代码执行、Opus 5.5 Fast Mode 等，并随原生平台同日上新。使用 Google Cloud IAM 凭证，用量可抵扣 Google Cloud 承诺金，提供美国与全球端点。企业可在既有 GCP 环境里接入 Claude，无需另建 Anthropic 计费体系。

7. OpenAI 模型将进入 Google Cloud Model Garden，可用 GCP 承诺金采购；微软仍是主云伙伴

   三大闭源模型同台 GCP，企业选型与多云叙事升级。

   @OpenAI4,879 赞 · 386 转发 · 432 回复 · 439,801 浏览查看原帖

   展开收起OpenAI 模型将进入 Google Cloud Model Garden，可用 GCP 承诺金采购；微软仍是主云伙伴

   OpenAI 与 Google Cloud 合作，将把前沿模型与 Codex Agent 工作流接入 Model Garden，企业可在现有构建环境使用，并搭配 GCP 访问控制与数据治理。客户可经 Google Cloud Marketplace 采购，已有 GCP 消费承诺的企业可用承诺金抵扣。模型还将进入 Google Antigravity 与 Gemini Agent。一般可用预计未来数周；OpenAI 明确微软仍是其主要云伙伴。

8. Claude Security 支持代码变更后持续重扫；企业公测，合格组织每月最高 2.5 万美元额度至 2026 年底

   安全扫描从一次性报告变成跟代码走的持续产品。

   @claudeai10,408 赞 · 526 转发 · 361 回复 · 725,263 浏览查看原帖

   展开收起Claude Security 支持代码变更后持续重扫；企业公测，合格组织每月最高 2.5 万美元额度至 2026 年底

   Claude Security 现可连接 GitHub、GitLab 等一次后先做深度首扫，并在变更落地后自动重扫，使发现贴近当前代码。修复合并后 Claude 会核验并标记已修复（即使在 Claude 外修复），问题复发则重新打开；每个项目还会生成可编辑威胁模型。发现可通过新 API 与 MCP 连接器接入工具链。Claude Enterprise 公测；合格组织在 2026 年 12 月 31 日前每月可获最多 2.5 万美元用量额度，为期两个月（条款适用）。

9. OpenAI GPT-Rosalind：近两千 Agent 32 分钟分析小鼠全脑 CRISPR 图谱，提出胆固醇转运等药物线索

   科学 Agent 集群落地到可公开 atlas 与可验证假说。

   @OpenAI6,914 赞 · 734 转发 · 396 回复 · 1,410,539 浏览查看原帖

   展开收起OpenAI GPT-Rosalind：近两千 Agent 32 分钟分析小鼠全脑 CRISPR 图谱，提出胆固醇转运等药物线索

   OpenAI 与 PerturbAI、Scripps Research 用数千个 GPT-Rosalind Agent 并行分析小鼠全脑 CRISPR 图谱（数百万脑细胞），约 32 分钟完成人类估计需数月到一年的梳理，并把结果汇成可公开浏览的 reasoning atlas。Agent 提出：DCTN1（与 Perry 综合征相关）扰动后胆固醇合成基因表达上升，或指向胆固醇转运受损，从而给出可验证的神经退行治疗方向；并观察到小脑中 TSC2 与 TSC1 扰动影响差异，与结节性硬化临床更吻合。盲测中专家更偏好分布式 Agent 报告（约 75%）。

10. Canva 发布面向设计的前沿图像模型 Craft，称 DesignArena 全球榜升至第二

    设计工具巨头自研前沿图像模型，转发量极高。

    @canva1,681 赞 · 4,579 转发 · 135 回复 · 278,841 浏览查看话题

    展开收起Canva 发布面向设计的前沿图像模型 Craft，称 DesignArena 全球榜升至第二

    Canva 发布 Craft：首个专门为设计打造的前沿图像生成模型，并称面向所有人开放「非凡」图像生成。官方称凭借 Craft，Canva 在 DesignArena 全球图像生成榜上成为世界第二先进的 AI 实验室。发布含演示视频，强调把生成能力直接嵌入设计工作流，而非仅提供通用文生图。

11. DeepMind 发布 ForTy：全球 10 米分辨率森林类型图，区分天然林、人工林与经作树

    把「有树」细化为森林类型，对接监管与碳核算刚需。

    @GoogleDeepMind505 赞 · 56 转发 · 94 回复 · 45,784 浏览查看原帖

    展开收起DeepMind 发布 ForTy：全球 10 米分辨率森林类型图，区分天然林、人工林与经作树

    Google DeepMind 与 Google Research、WRI、IIASA 发布 Forest Typology（ForTy）2020：按 FAO 定义把全球每块 10×10 米土地分为原生林、自然更新林、栽植林、种植园、树经作/农林及其他用地六类，并提供 2017–2025 年早期时间序列，显示天然林被种植园或农田替代的位置。模型基于 AlphaEarth Foundations，在约 170 万样点上读多年卫星影像；ForTy 2020 图与时间序列已在 Google Earth Engine 免费开放，服务毁林监测与无毁林供应链（含欧盟毁林法规基线）。论文刊于 Scientific Data。

12. 【传闻】彭博：DeepSeek 新一轮融资约 1000 亿元，腾讯与宁德时代领投；公司尚未确认未官宣

    若属实将是中国最大融资之一，但官方未确认。

    @dotey中文圈86 赞 · 7 转发 · 85 回复 · 36,484 浏览查看原帖

    展开收起【传闻】彭博：DeepSeek 新一轮融资约 1000 亿元，腾讯与宁德时代领投；公司尚未确认

    宝玉据彭博 10 月 21 日独家报道整理：知情人士称 DeepSeek 本轮融资约 1000 亿元人民币（约 150 亿美元），从最初约 500 亿谈到约 800 亿再到约 1000 亿；出钱最多的包括腾讯与宁德时代。此为 DeepSeek 半年内第二次对外融资（今年 6 月约 510 亿）。《财经》称投前估值约 5000 亿，宁德时代拟再投约 100 亿，新进方含吉利、中芯聚源等，并传中信证券筹备科创板上市。DeepSeek、腾讯、宁德时代均未公开确认，故标为传闻。

13. OpenAI 邀请 METR 与 Redwood 驻场三周评估内部 Agent 监控系统，简报已公开

    第三方驻场评估内部 Agent 监控，治理透明度信号。

    @OpenAI1,934 赞 · 122 转发 · 273 回复 · 238,802 浏览查看原帖

    展开收起OpenAI 邀请 METR 与 Redwood 驻场三周评估内部 Agent 监控系统，简报已公开

    OpenAI 称今夏邀请 METR 与 Redwood Research 对内部监控系统做嵌入式评估试点，给予基础设施深层访问约三周。METR 称两名员工驻场评估 OpenAI 用于监控内部 Agent 错位（misalignment）的系统，简要写作成果现已公开。OpenAI 表示其发现已帮助加强保障措施，并将影响未来与 METR 及其他第三方评估方的合作。

14. Gemini 4 Argon 用三个开源数据集拼出可交互人体 3D 解剖可视化

    前沿模型在科学可视化上的直观展示，互动不错。

    @GoogleDeepMind2,900 赞 · 280 转发 · 236 回复 · 163,982 浏览查看原帖

    展开收起Gemini 4 Argon 用三个开源数据集拼出可交互人体 3D 解剖可视化

    Google DeepMind 展示 Gemini 4 Argon 将三个开源数据集组合成可交互人体 3D 解剖可视化：可切换运动中的不同层、隔离肌肉，或放大跳动的心脏内部。属于 Gemini 4 Argon 发布后的能力演示，强调多模态与 3D 场景构建。

15. Artificial Analysis：CritPt v2 上线，GPT-6 Astra (max) 达 83%；将纳入 Intelligence Index

    研究级物理基准刷新，直接对照前沿闭源模型。

    @ArtificialAnlys183 赞 · 8 转发 · 15 回复 · 17,677 浏览查看原帖

    展开收起Artificial Analysis：CritPt v2 上线，GPT-6 Astra (max) 达 83%；将纳入 Intelligence Index

    Artificial Analysis 上线 CritPt v2：作者修订全部 70 道研究级物理题，模型可在离线沙箱用代码执行工具解题。榜首为 GPT-6 Astra (max) 83%、GPT-6.1 Sol (max) 82%，随后 Claude Opus 5.5 (max with fallback) 78%、GPT-5.6 Sol (max) 75%；2025 年 8 月的 GPT-5 (high) 仅 29%。v2 分数普遍高于 v1、不可直接对比；AA 称多数提升来自题目修订，代码工具贡献较小。计划 10 月底更新 Intelligence Index 时纳入 CritPt 变更。

16. 蚂蚁 Ming-3.0-tts：0.5B 参数 MIT 开源 TTS，AA Controlled Voice 开源榜第一

    小参数开源 TTS 打进一线榜，中文厂开源信号。

    @ArtificialAnlys中文圈122 赞 · 8 转发 · 12 回复 · 9,616 浏览查看原帖

    展开收起蚂蚁 Ming-3.0-tts：0.5B 参数 MIT 开源 TTS，AA Controlled Voice 开源榜第一

    Artificial Analysis 称蚂蚁 AntLing 的 Ming-3.0-tts（稠密 0.5B，另有 7.9B MoE 变体 Ming-3.0-tts-tiny）在 Controlled Voice TTS Arena 开源权重中排第一（Elo 1069），发音鲁棒性榜 93.2% 与 Fish Audio Drama 3 Preview 并列第一、高于 Eleven v4 的 91.7%。它是 AA 任一 TTS 榜前三中唯一低于 1B 的模型；Controlled Voice 前十其他开源模型均 ≥3.5B。权重 MIT 协议上架 Hugging Face。

17. Logan Kilpatrick：Gemini 4 Argon 上线 72 小时处理约 25 万亿 tokens

    用公开吞吐数字量化新模型需求热度。

    @OfficialLoganK5,769 赞 · 322 转发 · 499 回复 · 792,900 浏览查看原帖

    展开收起Logan Kilpatrick：Gemini 4 Argon 上线 72 小时处理约 25 万亿 tokens

    Google AI Studio 产品负责人 Logan Kilpatrick 称，Gemini 4 Argon 广泛上线后的前 72 小时内处理了约 25 万亿 tokens，称对智能的需求「惊人且仍被低估」。该数据被 Demis Hassabis 等转发，成为衡量新模型冷启动需求的公开数字。