AI 日报 · 2026 年 10 月 28 日 · 星期三
ATTAIN
Google DeepMind 发布世界模型 Genie 4
Google DeepMind 发布世界模型 Genie 4，原生支持音频与实时交互模拟，可同时生成环境音、音乐和角色对话。Genie 4 支持用自然语言实时修改天气、镜头和场景元素，并借助 Gemini 3.8 Flash 作为引导智能体拆解多步任务、校验执行进度。
模型发布/更新
OpenAI 发布 GPT-6.1 Terra：API 价格减半，主打电脑操作能力
OpenAI 发布 GPT-6.1 Terra，标准 API 输入 1 美元/百万 Token、缓存输入 0.05 美元/百万 Token、输出 5 美元/百万 Token，价格约为 GPT-5.6 Terra 的一半。
行业动态
RadarAILatent Space 解读 Anthropic 提交 S-1：拟以代码 AN 上市纳斯达克，H1 2026 营收 16.3B 美元
Latent Space 汇总解读 Anthropic 公开提交的 S-1 文件，公司计划以代码 AN 在纳斯达克上市，营收从 2023 年的 41M 美元增至 H1 2026 的 16.3B 美元，Q2 营收 11.6B 美元同比增长 1,368%，营业利润 974M 美元，H1 2026 毛利率达 85%。
Latent SpaceAnthropic 提交 S-1 拟登陆纳斯达克，H1 2026 营收 163 亿美元、Q2 运营利润 9.74 亿美元
Anthropic 于周一公开提交 S-1，计划以代码 ANT 在纳斯达克上市，2026 年上半年营收 163 亿美元，约为去年同期的 14 倍，Q2 单季营收 116 亿美元、同比增长 1368%，运营利润 9.74 亿美元。
Hacker News另有 1 家信源报道Cloudflare 披露 GLM-5.3 Workers AI 跨请求 KV cache 泄露事件
Cloudflare 披露 GLM-5.3 Workers AI 模型存在跨请求 KV cache 泄露，2026 年 8 月 27 日至 9 月 9 日期间共 155 条响应受影响，均来自超过 681,280 token 的提示词。
NVIDIA 与 Meta 扩大 Muse 系列模型合作，并投资 30 亿美元
NVIDIA 与 Meta 宣布扩大在 Muse 及 Muse 系列模型上的合作，以提升推理和训练性能，双方称这源于对实用 AI 智能体的旺盛需求。
论文研究
RadarAIAxiom 用 AI 智能体 24 天完成有限单群分类定理的 Lean 完整形式化
Axiom 宣布完成有限单群分类定理的 Lean 自动形式化，该证明约 15000 页、涉及 500 多篇论文和约 100 位作者。约 4000 万行 Lean 代码由成群的 AI 智能体在 24 天内写出，数学家负责引导。Axiom 称今年初让 AxiomProver 写出正确的 10000 行 Lean 证明还需数周，此次进步归因于同时重建模型、harness 和基础设施三层。