跳到正文
北京时间
2026 年 10 月 28 日 · 星期三每天 08:00 出刊

AI 日报 · 2026 年 10 月 28 日 · 星期三

由来科技

第 190 期282026 年 10 月星期三
12件大事11个来源约 5 分钟读完
头条

Anthropic 招股书拆解:IPO 计划募资约 1000 亿美元背后的 11 个细节

作者总结 Anthropic IPO 招股书的 11 个细节,计划募资约 1000 亿美元、估值或达 1.5万亿~2万亿。收入五个季度涨 30 倍,今年二季度经营利润首次转正 9.74 亿美元,但上半年净亏 807 亿美元,主要来自可转换票据公允价值变动;调整后净利润为正 26.71 亿美元。

01

模型发布/更新

02

产品发布/更新

Apple:Newsroom

Apple 发布搭载 M6 芯片的 14 英寸 MacBook Pro,起售价 $1,999

Apple 发布搭载全新 M6 芯片的 14 英寸 MacBook Pro,配备 12 核 CPU 和 12 核 GPU,相比 M5 图形性能最高快 30%、端侧 AI 工作负载最高快 25%,电池续航最长 24 小时。新机支持 Wi-Fi 7 和蓝牙 6,可本地运行 LLM,10 月 28 日开启预购、11 月 6 日发售,起售价 $1,999(教育优惠 $1,899)。

03

行业动态

Rohan Paul

Axiom 智能体集群用 24 天完成有限单群分类定理的机器验证

作者称 Verified AI 迎来标志性月份,Axiom 的 AI 智能体集群用 24 天完成数学史上最长证明的验证,将跨越 500 多篇论文的 15,000 页有限单群分类定理(CFSG)转化为 3800 万行以上机器验证代码,并发现已发表记录中的 34 处严重出入。引用内容补充称该形式化证明可能是最大的开源项目之一,图中显示 Axiom CFSG 达 43.0M 行,约每 37 天翻倍。

04

论文研究

05

技巧与观点

06

快讯

(本期完)

由来科技 日报由编辑系统根据公开来源自动编辑,每条均附原文 · 日报合订本