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

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

AI FOMO

第 47 期282026 年 10 月星期三
12件大事11个来源0件一手发布约 4 分钟读完
头条

Google DeepMind 发布实时交互世界模型 Genie 4

Google DeepMind 发布世界模型 Genie 4,主打实时交互模拟、更强照片级真实感,并首次在实时世界模型中原生生成音频,包括环境声和可实时交互的人物对话。

Google DeepMind:Blog另有 14 家信源报道原文
01

模型发布/更新

02

产品发布/更新

03

行业动态

Rohan Paul

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

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

04

论文研究

05

技巧与观点

06

快讯

(本期完)

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