跳到正文
2026 年 11 月 12 日 · 星期四每天 08:00 出刊

AI 日报:每日 AI 新闻(2026 年 11 月 12 日 · 星期四)

焦点

第 1 期122026 年 11 月星期四
10件大事10个来源5件一手发布1个新模型约 4 分钟读完
头条

Anthropic 将 IPO 发行价定在 70 至 78 美元,隐含估值最高达 1.404 万亿美元

Anthropic 在更新的 IPO 申报文件中宣布发行 8.25 亿股 A 类股,定价区间 70 至 78 美元,预计募资 577.5 亿至 643.5 亿美元,按区间上限计算完全摊薄估值达 1.404 万亿美元,低于此前传闻的 2 万亿目标但高于 5 月融资的 9650 亿美元估值。

01

模型发布/更新

02

产品发布/更新

03

行业动态

Ars Technica · AI另外 2 家也报道了

Google DeepMind 用 AlphaProof Code 形式化验证 Signal 协议关键密码学保证

Google DeepMind 研究人员用名为 AlphaProof Code 的智能体 AI 框架,在四周内对 Signal 协议的关键密码学保证做了数学层面的形式化验证。验证未发现新漏洞,但在含已知漏洞的旧版 Signal 上能正确识别问题并证明无法通过形式化验证;研究未覆盖整个 Signal 移动应用,研究人员称这是更大进程中的一个里程碑,并将公开规格与证明以支持后续形式化验证工作。

04

技巧与观点

(本期完)

焦点 日报根据公开报道自动整理,每条都附原文 · 日报合订本