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