Claude 用 11 天形式化费马大定理
9 月 4 日，Anthropic 公布首个端到端、机器可检验的费马大定理证明：Claude 大部分时间自主工作 11 天，生成 1300 万行 Lean、证明 2.95 万个中间定理。代码通过 Lean 内核、独立内核与比较器复核；突破在验证自动化，而非发现新的数学证明。
DeepSeek 据报拟部署 16 万颗昇腾芯片
9 月 4 日，Bloomberg 报道称 DeepSeek 计划在内蒙古数据中心部署至少 16 万颗华为昇腾 950DT，主要用于模型推理而非训练。交付取决于华为产能，高端存储短缺可能令订单耗时一年以上；两家公司均未确认。
GitHub 试验多模型编排 HydraFusion
9 月 4 日，GitHub 在 Copilot CLI 推出 HydraFusion 研究预览：系统可选择单模型、级联或跨模型批评三种流程，在运行时平衡质量、成本与延迟。所有 Copilot 套餐均可从 /experimental 开启，费用按实际调用模型计。
微软开放两款 MAI-Image 2.6 模型
9 月 4 日，微软在 Foundry 公测 MAI-Image-2.6 与 Flash，新增最多五张参考图编辑、网页信息辅助生成及更多分辨率控制。Flash 面向高吞吐，图像输出价为每百万 token 19 美元，基础版为 38 美元。
美议员提案建立 AI Agent 安全标准
两党众议员 9 月 3 日提出 Stop Rogue AI Act，要求 NIST 在法案生效后一年内制定 Agent 清单、持续验证及防篡改日志标准。多数机构自愿采用，但新联邦合同承包商须满足标准；法案尚未通过。
XDOF 据报洽谈 12 亿美元估值融资
9 月 4 日，TechCrunch 称机器人数据公司 XDOF 正洽谈由 8VC 领投的 B 轮，估值约 12 亿美元；条款与融资额未定。其年化收入接近 5000 万美元，向 20 家客户提供遥操作和穿戴传感器采集的真实世界训练数据。
Nscale 据报寻求 35 亿美元上市前融资
9 月 4 日，英国 AI 算力商 Nscale 据报拟发行 15 亿美元可转债，并向 NVIDIA 寻求另外 20 亿美元融资，为最快本月上市做准备。相关交易仍在谈判；其对外披露的 1030 亿美元收入是租约预测，并非已实现销售。
LLaDA-Image 同时生成和编辑图像
9 月 4 日，inclusionAI 开源 60 亿参数 LLaDA-Image：同一模型支持中英文文生图与参考图编辑，Turbo 版将采样从 50 步压到 4 步。权重和推理代码采用 Apache 2.0；训练代码仍标为“即将开放”。