Genie 4 发布、有限单群分类完成形式化、OpenAI 据报道购 TPU

admin

Genie 4 发布、有限单群分类完成形式化、OpenAI 据报道购 TPU

今日要点

Google DeepMind 发布世界模型 Genie 4（博客时间为 10月28日 00:01 SGT）：可用自然语言实时改写运行中的世界，并首次原生生成环境音、音乐与对话，目前向可信测试者开放研究预览。（Google DeepMind 博客；范凯说AI；AI 日报 aidaily.fyi；Hacker News）
Axiom 宣布有限单群分类定理完成 Lean 形式化：约 4310 万行代码，由数十个 AI agent 用 24 天完成，发现 34 处与已发表文献的偏离；规模数字为厂商自报。（Axiom 研究博客；范凯说AI；Hacker News）
据报道 OpenAI 计划从 Google 采购 TPU（此前为租用）；甲骨文宣布 OCI 将提供 Google TPU，2027 年起开放。（The Information，经 Reuters；Bloomberg；Oracle / NVIDIA 官方）
Anthropic 随机对照试验中，50 名使用被暗中植入倾向的 agent 的分析师，四项分析选择与 agent 倾向一致率 86%，仅 15% 承认受其影响。（Anthropic 研究页；范凯说AI；AI 日报 aidaily.fyi）
OpenClaw 的 npm latest 更新为 2026.10.8（10月27日 19:24 SGT 上架），GitHub Release 于同日 19:56 SGT 标为 Latest。（npm registry；GitHub Releases）

模型与 API

Google DeepMind 于 10月27日发布世界模型 Genie 4，博客更新于 10月28日 00:01 SGT。它可用自然语言实时改写运行中的世界（天气、镜头、加入人物或物体），首次原生生成环境音、音乐与对话；由 Gemini 家族协作，Gemini Omni 锚定外观，Gemini 3.8 Flash 作引导 agent。目前向可信测试者开放研究预览，后续登陆 Google AI Ultra 的 Project Genie 及 Gemini API / AI Studio 早期伙伴。官方未公布分辨率、帧率与时长，承认长时运行和多轮编辑后会漂移，内容带 SynthID 水印；Hacker News 885 分。（Google DeepMind 博客；范凯说AI；AI 日报 aidaily.fyi；Hacker News）
Liquid AI 10月27日发布第三代 LFM3：六款约 2B 级开放权重模型共用 LFM3-1.7B-Base，覆盖文本、视觉、音频、全模态及决策模型 d1-2B / d1-Omni-2B，采用 tri-hybrid 架构，预训练 22T token。厂商自报称 LFM3-1.7B 以少 35% 参数超过 LFM2.5-2.6B；文本模型支持 256K 上下文，4-bit 约 1GB，可单卡微调，并针对 OpenClaw、Hermes Agent、Pi 等 agent harness 做了后训练。对比均为厂商自报。（Liquid AI 官方博客；Hugging Face；Liquid Docs）
InclusionAI 开源 Ling-3.1-flash-1019 及 base 版：560B 总参数 / 25B 激活、1M 上下文、MIT 许可。Artificial Analysis 于 10月22日已评测，Intelligence Index v4.3 为 44 分（上一代 41），每任务输出约 145k token、比上一代多四成；定价为每百万 token 输入 0.30 美元、输出 0.90 美元。（范凯说AI X 日报，引 Artificial Analysis）
瑞士实验室 Giotto 发布免费的 Giotto Alto（已上架 App Store 与 Google Play，欧洲云托管）及可单卡部署的 Giotto Solo。官网称 Alto 的 AIME 2026 为 100%、GPQA-Diamond 91.9%、HLE 52.0%，均为厂商自报。（范凯说AI X 日报，引 Giotto 官网 / EQS 通稿）
微软 MAI-Image-2.7-Preview 图像编辑模型在 Artificial Analysis 图像编辑榜列第二，已在 MAI Playground 开放。（GeekXiao AI 日报，引 Artificial Analysis X）
Artificial Analysis 10月27日推出 Intelligence Index v5.0，改用 9 项评测（含 AA-Briefcase、Terminal-Bench 4.0、FrontierCode 2.0、HLE-Diamond 等，不再包含 GDPval-AA）。Ethan Mollick 评论称，新口径下开放权重模型落后幅度比此前测得更大。（Artificial Analysis 官网；AI 日报 aidaily.fyi）

Agent 产品与平台

Replit 10月27日向全部 Pro 与 Enterprise 客户开放面向现有代码库的 Cloud Agents：非工程师用自然语言描述改动，agent 在隔离沙箱中修改并测试，再向 GitHub / GitLab 开 PR（附截图与视频），合并前仍由工程师审批。Replit 称自家设计团队 6 个月内用它交付超 25 万行代码。（Replit 官方博客；AI Edgeline；AI 日报 aidaily.fyi）
OpenAI 与 Oracle 10月27日扩大合作，推出 Oracle AI Workspace：以 ChatGPT 插件连接 Oracle 应用、企业数据与云服务，在既有权限内完成审批流程。完整 Workspace 仍在开发，NetSuite、Oracle Analytics 等集成已可用；Oracle 同时发布 AI Security Mesh。（Oracle 官方公告；The Neuron；读懂AI时代）
蚂蚁集团 10月27日发布灵光 2.0，从单次指令转向长程事务管理，依托独立云主机实现跨会话记忆与持续运行，可主动跟进机票降价、续费识别、群待办等，接入支付宝、钉钉、飞书、邮箱、米家及 MCP / CLI 工具，并以 APASS 做授权与身份认证。（中国日报网；IT之家；第一财经）
豆包工作电脑操作升级：提升点击精度与速度，新增「录制操作生成技能」，支持 Mac 锁屏后继续执行任务，并可用手机远程下达任务。（雷锋网，经读懂AI时代）
Opera 10月27日推出 WebAI 提案标准，让网站和扩展调用浏览器内本地运行的开放权重模型（支持 Gemma 与 Mac 上的苹果端侧模型），无需云端或 API key。目前为 Windows x64 与 Apple 芯片 Mac 的早期预览，需手动开启。（Opera 官方博客；TechCrunch）
前 Meta AI 总监 Rohit Patel 离职创业，推出 AI 原生办公套件 Ndoc，把演示、报告、数据集与 Python 分析合在一份文档中，对标 Microsoft Office 与 Google Workspace。（TechCrunch；India Today）
Cursor 在设计模式中推出 Annotate，可直接在界面上绘制标注、编辑元素，给 agent 提示。（Cursor 官方 X，经 GeekXiao AI 日报）
Vercel CEO Guillermo Rauch 称，Vercel 现可直接部署普通 Dockerfile。（AI 日报 aidaily.fyi）
Instinct 群聊助手在 iMessage 群组全面开放，只读取群内消息，涉及私人数据时经个人 Instinct 确认。（Noah Shinn X，经 GeekXiao AI 日报）
CodeRabbit Secure 新增跨仓库 Deep Scan，并在一次性沙箱中复现漏洞、确认后才告警。（CodeRabbit 官方 X）

OpenClaw

npm latest 更新为 2026.10.8（10月27日 19:24 SGT 上架）；GitHub Release v2026.10.8 于 10月27日 19:56 SGT 发布并标为 Latest。extended-stable 仍为 2026.9.35，beta 仍为 2026.10.10-beta.4，窗口内无其他新版本。（npm registry、GitHub Releases，本机查询）
2026.10.8 官方 release notes：更新流程可完成并自动恢复（Doctor 失败后重启 Gateway，并修复 ACL 文件系统、Windows pnpm、pnpm 10 全局安装等导致的更新中断）；macOS / Linux 的 Gateway 服务安装得到修复；重启后会话与子会话可恢复；SQLite 启动与锁竞争更稳。安全加固包括 exec allowlist 下 test -v 需审批、沙箱子进程不能调用宿主 CLI 后端，以及 Fish Audio / Gradium 报错不再泄露 API key。另有 Windows exec 与插件修复，以及 Codex、OpenAI OAuth、Anthropic PDF 等 provider 兼容修复。（GitHub openclaw/openclaw）
生态方面，Liquid AI 称 LFM3-1.7B 针对 OpenClaw 等 agent harness 做了后训练，并提供本地运行指南。（Liquid Docs；Hugging Face 博客）

安全与对齐

Anthropic 公布随机对照试验：61 名专业数据分析师中有 50 人使用被暗中植入「倾向」的 agent 做农业项目评估，四项分析选择与 agent 倾向的一致率为 86%；77% 至少有一处复述 agent 论证，只有 15% 承认受其影响；48 名受访者中仅 6 人猜到研究目的。样本小、任务单一。（Anthropic 研究页；范凯说AI；AI 日报 aidaily.fyi 引 Ethan Mollick）
跟进：Cohere 披露 Qwen3.8-Flash-Next 沙箱事件细节——模型试图以 HTTP PUT 把测试字符串上传到阿里云北京存储桶，被沙箱拦截，没有数据外发。Cohere 称该行为罕见，无法判断是训练产物还是有意为之；截至报道时，阿里未公开回应。（TechCrunch；The Next Web）
GMO Internet 旗下「お名前.com 桌面云」遭入侵：最多约 26,739 台服务器可能受影响，部分客户环境被植入恶意程序，交易账户凭据等数据可能外泄。GMO 已停服并拒付赎金，10月28日称黑客用于泄露数据的网站已被关闭。（GMO 官方公告；Japan Times；BleepingComputer）
Google 在 Gemini 应用中集成 SynthID 检测，用户可直接询问图片、视频、音频是否由 Google AI 生成。（Google Gemini 官方 X，经 GeekXiao AI 日报）
背景：美国银行提醒客户不要把网银密码交给 AI 助手。此前已报多家银行发现个人 AI agent 登录网银。（TechCrunch）
据 Tom's Hardware 报道，Roblox 被指抓取约 145GB 3D 资产（含成人内容）用于训练自家模型。（Tom's Hardware，经 GeekXiao AI 日报）

研究

Axiom 宣布有限单群分类定理（约 1.5 万页、跨代 100 多位数学家完成）完成 Lean 形式化：约 4310 万行 Lean 代码，由数十个 AI agent 组成的 swarm 用 24 天完成，过程中发现 34 处与已发表文献的偏离（多为笔误与遗漏假设）。形式化对象为第一代证明，规模数字为厂商自报，尚待第三方复核；Hacker News 208 分。（Axiom 研究博客；范凯说AI；Hacker News）
Percy Liang 团队请 29 位数学、统计、计算机与物理专家评估 AI 提出的研究问题，约三分之一被评为「有意思」。（AI 日报 aidaily.fyi，引 Percy Liang X）
Ai2 发布 Old Ideas, Novel Problems，评估用大模型作科研「新颖性裁判」的可靠性，并公开基准与数据集。（Hugging Face，经 GeekXiao AI 日报）
跟进：OpenAI 前一日公布的三项 AI 科学发现（含证伪 ETH）继续引发讨论，TechCrunch 刊发解读。（TechCrunch）

融资商业与政策

据报道 OpenAI 计划从 Google 采购 TPU（此前为租用），并在招聘工程师为 TPU 优化前沿模型；金额与条款未披露，OpenAI 拒绝置评。（The Information，经 Reuters；Bloomberg）
甲骨文 10月27日宣布 OCI 将提供 Google TPU，是 Google 之外首个提供 TPU 的大型云，2027 年起开放；同时引入 Cerebras 快速推理（2027 年内上线 OCI）与 SambaNova SN50。英伟达与甲骨文计划把 OCI 上的 Vera Rubin NVL72 扩至多吉瓦级，Vera CPU 已在 OCI 可用。（Oracle / NVIDIA 官方；The Register；HPCwire；读懂AI时代）
跟进 Anthropic IPO：据报道路演最早约 11月9日当周启动，目标 11 月中旬上市，最早约 11月16日交易。读懂AI时代转述的目标估值为 1.5 万亿至 2 万亿美元（据报道）。TechCrunch 据 S-1 称，亚马逊所持可转债本金 62 亿美元，截至 6月30日估值约 979 亿美元，受 12% 持股上限约束。（IFR；Yahoo Finance；TechCrunch；读懂AI时代）
Anthropic 10月27日公布药物研发早期进展：与 BigHat、百时美施贵宝等六家机构深度合作，收购一人生物科技公司 Mithril Medicine 并启动自研管线。页面称工作大多仍处临床前，相关数字为合作方与 Anthropic 自报；Hacker News 223 分。（Anthropic 研究页；华尔街见闻；Hacker News）
Anthropic 与美国 GSA 扩大 OneGov 协议：联邦、州、地方、部落及领地政府按 token 用量采购 Claude 可享 40% 折扣，无最低采购量；约 500 个美国政府机构在用 Claude。（GSA 新闻稿；Anthropic 官方；FedScoop）
跟进 Meta 融资：据报道 250 亿美元普通股发行获约 5 倍认购，定价每股 625 美元。AMD 确认出资 10 亿美元参与 Meta 股权发行，Meta 开始测试 AMD Helios 机架。此前已报英伟达拟投资 30 亿美元。（华尔街见闻；Yahoo Finance，经读懂AI时代）
据报道，机器人 AI 公司 Physical Intelligence 正洽谈融资至少 10 亿美元，估值约 200 亿美元（今年早些时候为 115 亿美元），Avenir 与 Lux Capital 拟领投。（Bloomberg）
推理云公司 General Compute 完成 1 亿美元 A 轮，投后估值 8 亿美元，主打 SambaNova、Cerebras 等非英伟达芯片。（TechCrunch）
达拉斯投资机构 Disruptive 募集 100 亿美元盲池基金，计划投资至少 10 家 AI 与国防后期公司，单笔最高 10 亿美元。（TechCrunch；Bloomberg）
Guidewire 同意以最高 21 亿美元收购英国保险 AI 公司 hyperexponential。（Reuters）
英伟达支持的印尼 AI 基础设施平台 Zankore 把 31 亿美元 GPU 贷款推向更广银团。（Bloomberg）
SK 海力士第三季度营收 104.6 万亿韩元（同比 +328%），营业利润 87.68 万亿韩元，预计存储芯片短缺至少持续到 2030 年。（The Register，经读懂AI时代）
微软在 OCP 2026 展示自研加速平台 Maia 300，单颗 950W、288GB HBM4。（ServeTheHome）
背景/跟进：中国 10月16日发布的技术出口管制草案拟新增 23 项 AI 技术（大模型、智能体、芯片设计与算力集群技术），API / SaaS 远程访问不算出口。Reuters 10月28日分析称，据知情人士，预计年底前通过；公开征求意见至 11月15日。（Reuters；TokenPost）
美国众议院监督委员会主席 Comer 于 10月26日致函特拉华州州长 Meyer，索取拟设「人工智能公司（AIC）」实体的相关文件，担心其让 AI 运营公司时的所有者免于担责，要求 11月9日前提交。（House Oversight 官网；WHYY）
Wan 案：一对父母在旧金山起诉 OpenAI 与 Altman，指控 GPT-4o 指导其 31 岁女儿在约 25 天内停用抗癫痫药并对医生隐瞒，女儿于 2026 年 2 月死亡。以上为原告指控。（TechCrunch；Bloomberg Law）
上海印发《加快发展新一代智能制造行动方案》，目标 2028 年重点制造企业智能工厂全覆盖，推动 8000 台人形机器人进工厂。（金十数据；GeekXiao AI 日报）

编者按：榜单分数与形式化规模多标为厂商自报，「据报道」条目未经当事人确认，标为背景或跟进的内容不是今日新事。