AI 模型9519d
Claude 完成费马大定理证明形式化
Anthropic 表示，Claude 用 11 天将费马大定理的证明形式化为 Lean 代码，交由计算机检查。这项进展在于验证已有定理的证明，而不是首次发现其数学证明。
硅谷要闻
2026年9月4日星期五 · 8 条要闻 · 汇编自 3 家媒体 · 当日扫描 10 条
今日综述 · The Brief
9 月 4 日新闻回顾：Anthropic 介绍了历时 11 天的费马大定理证明形式化工作。Nscale 融资和 Anthropic IPO 时间表的报道，显示市场仍在讨论大额资金安排。Chrome 漏洞修复与中美拟议会谈，则把安全问题带上同一张议程。
其他9219d
谷歌修补已遭利用的 Chrome 漏洞
据 BleepingComputer 报道，谷歌发布 Chrome 更新，修复一项已遭利用的 V8 漏洞及其他问题。报道涉及渲染进程中的风险，并不意味着所有用户都已受到入侵。
政策 / 监管8919d
传中美计划讨论 AI 安全风险
据路透社报道，中美官员正为 9 月中旬讨论 AI 安全风险做准备，美方预计由财政部长 Scott Bessent 牵头。当时披露的是会谈安排，尚无协议公布。
融资8619d
报道披露 Anthropic 潜在 IPO 时间表
据路透社援引消息人士报道，Anthropic 可能在 9 月下旬公开招股书，并争取在美国 11 月中期选举前完成上市。这是当时的计划，尚非已经完成的 IPO。
融资8319d
传 Nscale 寻求最高 35 亿美元融资
多家报道指 AI 云公司 Nscale 正在计划上市前，商谈最高 35 亿美元融资。彭博社的报道包含英伟达可能参与的方案，但融资当时尚未确认完成。
融资8019d
Micro1 竞购 Spirit Airlines 商业数据
据彭博社报道，AI 数据公司 Micro1 出价 1250 万美元，争购 Spirit Airlines 的商业记录。航空公司此前已有一份与谷歌达成的 1000 万美元协议，新报价能否成交仍有障碍。
硬件 / 芯片7719d
英伟达计划让 RTX 40 支持 DLSS 5
据 The Verge 报道，英伟达表示将在进一步优化 RTX 50 系列性能之后，计划为 RTX 40 系列提供 DLSS 5 支持。报道未给出确定的交付日期。
政策 / 监管7419d
加州调查 OpenAI 涉 Hugging Face 事件
据 Politico 报道，加州总检察长 Rob Bonta 就 7 月的 Hugging Face 事件调查 OpenAI。此举延续了其他州的审查，但调查本身不等于责任已经认定。