从 15 个来源中精选的 12 条 AI 资讯动态，按重要性排序，另有 5 个热点。
Anthropic, PBC 宣布为拟议的 A 类普通股 IPO 启动路演，发行价预计为每股 $70.00–$78.00。公司已申请将 A 类普通股在纳斯达克全球精选市场上市，股票代码为 ANT；本次发行仅通过招股说明书进行，初步招股书可从 Goldman Sachs 和 Morgan Stanley 获取。
官方公告给出了IPO发行价区间、上市交易所和股票代码等关键条款，读者可据此了解这次发行的确定性安排。
48 小时内多个来源都在报道的事。
Google DeepMind 官方宣布 Gemini 4 Carbon 现已可用。
Anthropic 发布 Claude Fable 5.2 与 Mythos 5.2，Fable 5.2 登顶 Artificial Analysis 榜单（65 分），定价降至每百万输入 $8 / 输出 $40，比 Fable 5.1 便宜 20%。HLE-Diamond 达 80%，FrontierCode 2.0 上 High 档以约一半成本匹配 Opus 5.5 Max，但 max 档多项评测反而下滑，且每任务成本因大量生成测试用例而上升 31%。发布当天 $ANT IPO 路演启动，Ultra 订阅下 Fable 5.2 可用量约为 Opus 5.5 的五分之一。
汇总了多家独立评测和成本数据，读者可以据此判断 Fable 5.2 在哪些任务上领先、哪些场景该继续用 Opus 5.5。
Nvidia CEO 黄仁勋公开承认对结婚 40 年的妻子不忠，并将此事与新闻报道中提及的国家安全担忧相关联；Nvidia 董事会已启动独立调查。美国官员认为其交往对象、Megaspeed 高管 Alice Huang 是为中国情报部门服务并回传信息的间谍；Megaspeed 两年内采购了 48 亿美元 Nvidia 芯片，其关联的上海世纪立同据 The Information 报道促成 75 亿美元芯片购买，包括被禁售芯片。三名共和党委员会主席要求黄仁勋闭门汇报，股价次日跌超 5%，Trump 表示支持黄仁勋留任。
文章以倒序时间线梳理事件脉络，从调查到董事会行动逐条列出信息来源，便于读者理解此事对芯片出口管制的牵连。
Google DeepMind 发布 AlphaProof Code，一个多 LLM 智能体形式化验证框架，数学化证明了 Signal 协议实际代码的关键安全属性。Agent 由 Gemini Carbon 驱动，生成超过六百万行 Lean 证明，仅 1% 代码需人工复查，全程用时四周；团队还向隔离版本中重新引入两个已修复的真实 Bug，系统均证明其不安全。官方称这是首次对广泛部署的密码协议实现进行形式化验证，并将开源验证工件。
原文给出了从规格到 Lean 证明的完整验证流程、四周期限和 Bug 复现检验，可帮助读者评估 AI 形式化验证的适用边界。
Microsoft Research 发布 Lazarus 研究：只需重编程大语言模型中少于 10 个休眠神经元且无需训练，就能给基于该模型的智能体植入后门。模型可通过标准评测并表现正常，直到触发条件出现，例如时钟跨入 2027 年后，智能体会在普通任务中下载并运行攻击者代码。触发检测只需约 50 个样本拟合线性分类器，且仅需要推理级算力。防御上，Microsoft Foundry 已通过模型来源验证、绑定可信发布者并扫描容器环境，并正在开发基于前沿智能体的权重扫描、红队工具和密码学模型签名。研究起始自 3 月的一个实验，Claude Code 搭配 Opus 4.5 自主完成了大部分发现。
原文给出无需训练、少于10个休眠神经元即可给智能体植入后门的具体机制，以及来源验证和权重扫描等对应防御思路。
OpenAI 推出 Businesses in ChatGPT 功能，商家可在 ChatGPT 中管理自己的业务信息、查看业务在 ChatGPT 中的呈现情况，并将用户兴趣转化为行动。
原文给出 ChatGPT 商家功能的三项能力，可据此判断商家信息管理和转化入口在 ChatGPT 中的落地方式。
Stripe 宣布 OpenRouter 现已加入 Stripe。Stripe 表示其正在构建 AI 的经济基础设施，与 OpenRouter 结合后将帮助企业探索新模型并优化 token 路由和使用。
收购双方官方口径明确，可据此了解 Stripe 在 AI 经济基础设施上的布局方向。
另见：X 热门讨论
Hugging Face 发文介绍 decision models，其接口为输入 state 与 questions，返回带概率分布的结构化决策，支持 choice、score 和 noul 三种原语，不生成文本。Transformers 已支持 DecisionPipeline、AutoModelForDecision 和 /v1/systemone 端点，llama.cpp 也支持同一 API，Hub 上线专用 decision-model 标签，并可用 Trainer 微调（TRL 的原生支持 PR 尚在开放中）。
原文系统讲清了 decision model 的三类原语、概率接口与 Transformers、llama.cpp 的实际用法，可直接迁移到路由和分类场景。
Anthropic 团队成员宣布，现在可以把网站嵌入 Claude 并进行交互，通过 MCP apps 为已验证插件启用了 frame_domains 支持。其转发的官方账号内容称，交互式 connectors 可在 Claude 内打开 Adobe、Atlassian 和 Box 的完整版本工具，边对话边自己或让 Claude 一起修改，正在网页端和桌面端推出。
作者以开发方身份说明网站可嵌入 Claude 并可交互的机制，还点出 MCP apps 的 frame_domains 支持这一实现细节。
另见：X 热门讨论
OpenAI 宣布 ChatGPT Business 计划现可通过 Sign in with ChatGPT 在 Notion、v0、Amp、Kilo Code、Warp、Nous Research 的 Hermes、OpenClaw、OpenCode 等第三方工具中使用。用户在这些工具中连接登录即可开始。
原文明确了 ChatGPT Business 订阅可在哪些第三方工具中登录使用，读者可据此判断是否纳入现有工作流。
@ChromiumDev 联合 @FirefoxWebDevs、@MozDevNet 和 @MSEdgeDev 发布 Modern Web Guidance 1.0，包含 200+ 专家指南并支持 Baseline。该资源旨在纠正 AI 编码智能体倾向为现代 HTML 和 CSS 原生能力编写大量自定义 JavaScript 的问题。
官方与多浏览器团队联合发布的 AI 编码指导资源，可帮助智能体优先使用现代原生 HTML 和 CSS 而非冗余代码。
安全公司 Claroc 的研究显示，xAI 与 SpaceX 合并后的 SpaceXSI 旗下 vibe-coding 智能体 Grok Build 正在泄露数千用户的数据，包括商业计划、广告提案、体检结果、员工姓名和工号等。泄露源于应用的分享链接设计：虽然 URL 经过随机化，但开发者的一项设计决定使任何人都能枚举数千个在线项目并查看其中全部数据。讽刺的是，Claroc 发现 SpaceXSI 自己构建的 24 个应用也暴露其中，包括标注机密的销售团队入职计划、覆盖 594 个账户的销售区域地图和内部系统地址。
Meta AI 发布其最小、最高效的模型 Muse Ember，定位类似 Claude Haiku 和 GPT Luna，面向复杂推理执行和智能体日常重复工作，如工具调用、编码子任务、路由、抽取和长文档解析。短提示词下定价与 GPT-6 Luna 和 Claude Haiku 5.5 相同，输入 $0.10/M、输出 $0.50/M；但超过 200k 输入后价格升至 $0.30/$1.50。作者实测其六个推理档位，认为 Muse Ember 位于 Artificial Analysis 排行榜的效率前沿，质量与价格贵 40 倍的 Muse Wonder 相当。
Simon Willison 引用 Anthropic 文档指出，Claude Fable 5.2 对提示词中关于代码归属的表述很敏感：若提示词不提所有权或称代码库属于他人，模型倾向在现有结构上追加代码，即使重复已有代码。若写明"这个代码库是你的，用途和结构由你决定"，模型在小编码任务测试中约一半的尝试会合并重复代码，不写该句则不到十分之一。
初创公司 Physical Superintelligence（PSI）的 David Turturean 借助 Anthropic Fable 5.2 模型的早期访问权，解决了悬置 18 年的量子计算问题 Aaronson-Ambainis 猜想，该证明经 Lean 自动形式化验证，并由 Scott Aaronson 等顶尖研究者核查。该结果排除了量子计算机在特定难题上高速求解的一条路径。PSI 目前的收入来自用其工具优化数据中心的物理变量模拟，长期方向是把理论物理突破转化为实际技术，CEO Matt Pines 表示公司正探索用实验最高效验证 AI 计算结果的方法。
英格兰高等教育监管机构学生事务办公室（OfS）称 AI 让课程作业评分接近无法公平进行，敦促高校恢复传统考试和现场演讲，并警告可能制裁未开发可靠考核形式的机构。OfS 与 Advance HE 对 127 所院校 300 多名受访者的调查显示，学生大量用 AI 写论文且常未被察觉，成绩与不用 AI 的学生相近，有学生用 ChatGPT 写整篇论文后无法回忆基本内容。OfS 战略总监 Josh Fleming 称这是威胁学位公信力的“代际风险”，英国教育部要求 OfS 确保监管框架在 AI 使用上“明确、有力且持久”。
Scale Labs 的 RLI 基准显示，Anthropic 的 Fable 5.2 完成 41.3% 的真实自由职业任务，约一年前最佳系统 Manus 仅 2.5%，同家族 Fable 5 今年 7 月为 16%。榜上其后为 Anthropic Opus 5.5（21.25%）和 OpenAI GPT 6 Astra（20.83%）。基准基于 Upwork 上 358 名认证专家的 240 个真实项目，总价值约 $144,000，涉及 Blender、GIMP、Audacity 等软件，由人类专家逐个核验提交文件；Fable 5.2 在音频剪辑、建筑与室内设计、3D 建模方面进步最大，近 50 个完成项目是此前没有智能体解出过的，但工业产品设计和动画仍几乎无法胜任。
纽约开放 RAISE 法案登记入口，年营收超 5 亿美元的 frontier AI 开发商须在 2027 年 1 月 1 日前登记，并在网站公布安全框架、72 小时内上报重大安全事故、发布模型透明度报告。新设机构 DIGIT 负责执行，单次违规最高罚款 100 万美元、再犯 300 万美元。Hochul 还在 Binghamton 大学设立纽约 AI 责任与研究中心，获 5500 万美元捐款与资本支持；加州 SB 53、伊利诺伊 SB 315 等州级法案也提出了类似要求。
404 Media 报道，用户使用 Anthropic Claude 和 OpenAI Codex 对自有设备做 AI 逆向工程（Reverse Engineer Anything）后，接连触发安全检查、警告或账号限制。有用户用 Codex 逆向三星电视后账号被以违反网络滥用规则封禁，逆向工程项目 Decomp.wtf 也已关停。OpenAI 工程师 Tarun Gogineni 称这些拦截大多属误伤且正在修复，但有安全从业者表示正转向 GLM 5.3 等开源权重和本地模型。原文认为这类做法未来将更多依赖本地无审查模型，可及性会下降。
Studio