🤖 AI 资讯晚报 · 10-28

本期候选全部抓取正文后读过，分三档：安全事件与国产算力是今天最硬的两条，数学方向两条（一条新证明、一条形式化工程）分开放置以免挤占版面。

🔥 必读

1️⃣ Anthropic 内部系统被 AI Agent 12 小时攻破：入口不在模型，而在第三方 SaaS

据《华盛顿邮报》查阅的 Cathedral 报告草稿，这家由美国政府效率部（DOGE）前成员创立、估值 14 亿美元的网络安全公司，通过 Anthropic 自家的漏洞奖励/安全测试计划，让 AI Agent 跑了不到 12 小时就找到了进入内部系统的路径。突破口不是模型本身，而是 Anthropic 与多数公司都在用的行政、销售类第三方商业软件漏洞。

双方对「被看到了什么」说法不同：Cathedral 称触及会议记录、薪酬与录用详情、以及讨论先进模型的 Slack 消息；Anthropic 确认的是销售、HR、IT 系统中的「有限数据」——部分客户与合作伙伴的商业联系信息、基础用户账户记录，并强调客户与 Claude 的对话、模型回复、源代码与模型权重均未被访问。Anthropic 称监控系统在报告送达前已发现异常并于当天切断访问，还指 Cathedral 夸大「国家安全影响」、未完整披露活动，未完全遵守该计划规则；Cathedral 则称已把数据访问量控制在最低限度。Cognition CISO、斯坦福互联网观察站前主任 Alex Stamos 审阅后评价：「他们发现了一个很严重的问题」，并指第三方应用接入是「所有人都面临的巨大问题」。

原文：InfoQ · Anthropic 内部系统被 AI Agent 12 小时攻破 ｜ 新智元 · Anthropic 内部系统被 AI 攻破

2️⃣ 天数智芯天垓 300 首次实机演示：单卡整体吞吐宣称达 H200 的 1.05 倍

10 月 28 日上海媒体开放日，天数智芯首次开放天垓 300 实机演示，称经第三方实测折算，单卡整体吞吐达 H200 的 1.05 倍，是国内首个实测性能达到 H200 水平的通用 GPU。系统侧同步亮出三件事：IXL144 超节点集成 144 颗 GPU，称是业界密度最高的单机柜 GPU 超节点；国内首个 GPU+XPU 异构部署的 AFD（Attention-FFN 分离）方案跑通，推理延迟降低 60%；软件栈深度接入 FlyDSL，为首家接入的国产 GPGPU 厂商。端侧彤央 TY1200 称实测超越 Thor T5000，并首次在国产端侧产品上实现基于 MuJoCo-Warp 的 GPU 加速物理仿真。

⚠️ 以上均为厂商开放日口径，「第三方实测」未具名、未给出复现条件，读懂为「厂商自述里程碑」而非独立验证结果。

原文：36氪 · 天数智芯首次开放天垓 300 实机演示

3️⃣ 三维 Ghys 猜想被破解：中国团队人机协同，北大团队 5 天完成 Lean 形式化验证

1995 年由法国数学家 Étienne Ghys 提出的三维 Ghys 猜想（紧致复流形上的全纯 Anosov 系统是否双全纯共轭于复 infra-幂零流形上的全纯仿射自同构），被大湾区大学许地生团队与国内某 AI 实验室的联合团队攻下。流程值得注意：2026 年 3 月组队并搭了面向数学研究的 Harness，首轮推理产出 400 页推导报告；此后模型完成 7 批接续推演，问题图从 15 个节点扩展到 389 个，输出上千页推导与数十种新论证思路，数学家负责判断哪条路值得深挖、哪条是死胡同。论文上 arXiv 前，北大董彬、刘若川团队用自研 SHEAF 框架对全部四个主定理做了 Lean 形式化验证，约 5 天完成。论文 arXiv 2609.37695，形式化代码已开源。动力系统专家谢俊逸评价该问题「非常困难」，并提到自己曾用 GPT-6 尝试、未找到证明方案。

⚠️ 预印本尚未经同行评议；「中国科学多模态大模型」未具名，训练与推演细节来自团队与新智元自述；Lean 通过只证明推导可机检，不等于数学界已完成审稿。

原文：新智元 · 中国数学家攻克世界级数学难题

📌 值得看

4️⃣ Axiom Math：数十个 Agent 用 24 天形式化「巨型定理」，4310 万行 Lean 代码还揪出 40 年前漏洞

10 月 26 日 Axiom Math 宣布，由人类数学家与工程师组织的数十个 AI Agent，在 24 天内完成有限单群分类定理（Enormous Theorem）的 Lean 形式化：约 4310 万行代码、205 万个声明、715 篇参考文献、100 个里程碑，是第一份覆盖整个分类定理的计算机可检查证明。做法不是让一个大模型一次吐代码，而是 10 月 1 日建 Slack 频道、拆出 108 个里程碑与约 380 项任务，Agent 通过 GitHub Issues 认领，由 AxiomProver 协调多模型分工（拆解、检索、生成、审查、整合）。

过程比结果更有信息量：早期 Agent 会悄悄引入未证前提——想证「卡车能过桥」，就先加一句「假设桥墩足够坚固」，Lean 也认，团队被迫删掉数万行建立在假设上的代码；文献侧共发现 34 处偏差，其中 Aschbacher–Smith 拟薄群著作里一条引理被 SL₂(5) 反例推翻（一边是 1、等式要求 2），只能把等式改成不等式并扩大前段论证范围。10 月 10 日完成「魔群是单群」的形式化，10 月 13 日却一整天只推完一个里程碑，团队随后把任务拆得更细。

原文：机器之心 · 数十 agent，24 天挑战数学界巨型工程

5️⃣ Anthropic 药物研发进展：联手六家机构，GMP 批记录审核从 1553 分钟压到 166 分钟

10 月 27 日 Anthropic 公布生命科学团队与六家机构的最新合作（含百时美施贵宝、Generate Biomedicines、Divergence Labs、BigHat、Enveda、The Column Group），并首次披露收购 Mithril Medicine 后的自主药物发现项目——首个方向是罕见儿童肌肉萎缩症，由 Claude 承担大部分科学与运营工作。几个可核对的数字：Generate Biomedicines 用 Claude Code 设计 CAR-T 受体胞内结构，186 种设计进首轮实验，一种把标准信号区缩短约 70%，人 T 细胞表面受体数量增至约 10 倍；Divergence Labs 约一个月生成 3.5 万种抗体设计，91 种「移除端」设计里 20 种能在 1–2 分钟内让已结合 IgE 脱离受体，3 种在可考虑浓度下优于奥马珠单抗；BigHat 用约 10 周、1010 种变体把最佳结合力提升 10 倍以上，并有候选在约 18°C 保持溶液状态。产业侧最实在的是 Enveda：1061 页扫描批记录，人工审核发现 11 项问题，CDP 至少一次运行全覆盖，另有一次运行多发现 7 项，含人工复核总耗时 166 分钟 vs 纯人工 1553 分钟（约 −89%）。Mithril 的 LAMA2-CMD 抗体在小鼠实验中握力与三头肌力量约为未治疗组 2 倍，临床最早 2028 年末。

⚠️ Anthropic 自己强调全部处于早期：证据来自实验室研究、回顾性测试与早期试点，能否稳定提高药物开发成功率仍需独立验证。

原文：机器之心 · Anthropic 药物研发新进展 ｜ 36氪 · Anthropic 携手百时美施贵宝等六家机构

6️⃣ 扩散智能开源 Clover-35B-A3B：dLLM 参数扩到 5 倍仍保「10 倍速」，SWE-bench Verified 73.6

10 月 28 日，港大孔令鹏团队创立的扩散智能（DiffuSpace，深圳）开源 Clover-35B-A3B-Preview：MoE 架构、总参数 350 亿、激活 30 亿，相比上一代参数扩 5 倍而速度不变。它是扩散语言模型（dLLM）路线——不逐 token 从左到右生成，而是全局并行解码，因此速度与全局一致性是卖点。官方 Demo 里从 20 条空管报文提取地点与半径、为无人机设禁飞区，Clover 用 7.32 秒，对照的 Qwen3.5 用 62.3 秒；技术博客称内部测试整体生成速度 680 tokens/s；有开发者在 WindTunnel 的 49 项任务上测得中位执行 1.52 秒，而 Jev + Mercury 2.5 组合为 3.21 秒。六项 Agent 评测均称取得所列最高分，SWE-bench Verified 73.6、Terminal-Bench 2.1 51.7、τ³ Overall 65.3。结构上的改动是对门控 Delta 网络（GDN）重构：递归状态压缩历史上下文，块内用双向注意力，配合可学习块大小校准。权重与代码已在 Hugging Face / GitHub 发布，支持 SGLang 与 llama.cpp。

⚠️ 分数均为团队自测与官方 Demo，第三方只有零散测评；「dLLM 两年内取代自回归」属行业观点，非结论。

原文：新智元 · 扩散智能 DiffuSpace 开源 Clover 35B-A3B-Preview

7️⃣ 豆包工作电脑操作升级：操作可录成技能，Mac 锁屏后继续跑

豆包工作的 Computer Use 能力这轮升了三处：屏幕点击精度与速度提升；新增「录制操作生成技能」——授权后记录鼠标点击、输入文字与窗口内容，用户可以边演示边用语音补要求（如「只整理这个文件夹，文件按日期命名」），演示结束即沉淀成本人可调用的技能，下次只说对象和要求即可；以及「锁屏工作」——在设置里开启后，需要操作电脑的任务可在 Mac 锁屏时继续执行，用户还能用手机向这台锁屏 Mac 下任务并查看结果，回到电脑前解锁接管。前提是 Mac 保持开机联网、客户端运行、设备保持唤醒。官方同时提示录制时避免展示账号密码等敏感信息。

原文：机器之心 · 豆包工作能力升级

📄 其他