全部 AI 动态

Ai2 发布 Old Ideas, Novel Problems 研究与 benchmark，揭示 LLM 新颖性裁判不稳定

Ai2 发布研究 Old Ideas, Novel Problems、配套 benchmark、数据、代码和自动化流水线，测试 LLM 作为研究想法新颖性裁判的可靠性。

NVIDIA 与 Oracle 将 OCI Superclusters 扩展至多吉瓦规模并上线 Vera Rubin NVL72 与 Vera CPU

NVIDIA 与 Oracle 宣布将 OCI Superclusters 扩展至多吉瓦规模，NVIDIA Vera Rubin NVL72 与 Vera CPU 现已在 OCI 正式可用。

Sundar Pichai@sundarpichai· 00:32同事件AI 评分6565

Google 发布 Genie 4，称其为其最真实、最具交互性的世界模型。它支持实时引导动态环境、调整事件、镜头角度和动作，可生成与场景匹配的原生音频并让角色实时对话，模拟照片级真实场景和现实物理，并通过 Gemini 推理创建更连贯的多步事件。

同一件事，精选收录的是《Google DeepMind 发布实时交互世界模型 Genie 4》

Meta 发布 2026 Python Typing Survey：AI 工具改写类型标注，新检查器快速崛起

Meta 发布 2026 Python Typing Survey 结果，共 1,794 份回复，连续三年追踪 Python 类型标注的使用与体验。AI 工具为 42.5% 的受访者编写类型提示，认为 AI 让代码更可靠的比例从 2025 年 18.5% 升至 38.4%，24.4% 的受访者由 AI 编码工具调用类型检查器。

Meta 详解 PrivacyLib：在数据访问边界执行隐私控制

Meta 详解 PrivacyLib，这是一个运行在数百个数据与处理系统客户端内、在数据访问点执行隐私控制的公共库，每秒执行数十亿次检查。系统只需接入一次，新隐私能力即以模块形式复用该集成，此前跨系统实现一项新要求可能耗时数月。PrivacyLib 还新增 Agent Observability 模块，用于观测内部 AI 智能体的数据访问事件。

Arena.ai@arena· 00:24AI 评分6161

Arena 公布 GPT-6.1 Terra (Max) 在 Code Arena: WebDev 榜单以 1671 分位列第 14，比 GPT-5.6 Terra 高 151 分，后者现列第 56。

Google DeepMind@GoogleDeepMind· 00:22AI 评分6060

Google DeepMind 发布 Genie 4，称其为迄今最逼真、交互性最强的世界模型。用户可实时探索动态环境，观察场景如何响应与发声，以及场景中人物如何移动、反应和说话。

Google AI@GoogleAI· 00:19同事件AI 评分6767

Google DeepMind 发布世界模型 Genie 4，称其为最逼真、可交互的世界模型。用户可用自然语言实时控制世界和音景，如改变天气、移动镜头或向环境添加新元素；Gemini 充当模拟的“大脑”，负责把请求转成动作、规划复杂事件并随剧情调整，模型还新增环境音和可实时适应的互动人物对话。

同一件事，精选收录的是《Google DeepMind 发布实时交互世界模型 Genie 4》

Google@Google· 00:19AI 评分4444

今天我们推出 Genie 4——来自 @GoogleDeepMind 的最新交互式世界模型 🌐

Steve Yegge 提出 Counting House 企业 AI 部署模式并与软件工厂对照

Steve Yegge 在文章中提出企业 AI 落地正形成两种不同模式：开放探索的软件工厂 Wheelhouse 和把低层级模型放上加固轨道的 Counting House。

NVIDIA 详解如何用 Nemotron 数据集微调模型掌握本地规则

NVIDIA 发布 Nemotron-Personas-France 与 Nemotron-Personas-Belgium 数据集，用于将 Nemotron 开放模型后训练为贴合当地语言与文化的应用模型。

当 Agent 写代码时你还需要懂什么：基本功、广度与按需深潜

作者以一次 CI 中 SonarQube 标记 Codex 生成的高复杂度 App.tsx 的排查经历为引，讨论智能体包办编码后工程师如何维持系统所有权。

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

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

Replit Cloud Agents 开放企业代码库贡献，非技术人员可直接提交经测试的 PR

Replit 推出 Cloud Agents，面向 Pro 与 Enterprise 客户开放，让设计、客服等非工程人员用自然语言向公司核心代码库提交经测试的 pull request。

Rohan Paul@rohanpaul_ai· 00:02AI 评分6767

数学与人工智能顾问小组（AGMAI，隶属 Institute for Advanced Study）公开呼吁 OpenAI 立即公布其 Yang-Mills 理论、量子色动力学（quantum chromodynamics）和标准模型补全存在性证明背后的自然语言与 Lean 输出。

C-BRAIN 联合 NVIDIA 推出 OpenScientist 和 InsightEngine 加速阿尔茨海默病研究

C-BRAIN 与 NVIDIA 合作，利用 AI 加速阿尔茨海默病研究，已推出两个开源工具 OpenScientist 和 InsightEngine，覆盖超过 200 个研究团队。

AI 的第三个产品市场契合点：安全

继编程与客户支持之后，安全被视为 AI 的第三个产品市场契合点。去年安全市场规模达 1750 亿美元、年增 13%，针对金融机构的勒索软件去年上升 30%、今年一季度再增 76%。对 75 名企业安全从业者的调查显示，预算分布在 SOC、SIEM、渗透测试、威胁情报与漏洞管理五类，且每类都消耗大量 token。

Corridor 宣布并入 Cognition，将升级 Devin Security

Corridor 联合创始人 Jack Cable 和 Ashwin Ramaswami 宣布公司加入 Cognition，负责把 Devin Security 提升到新水平。Corridor 成立近两年，定位为 AI 原生团队的安全层；二人表示 AI 智能体已能执行端到端攻击链，未来 6–12 个月是网络安全史上最关键的时期，企业需尽快化解长期积累的安全债务。

Meta AI 负责人罗希特·帕特尔离职创立 Ndoc，打造替代微软 Office 的 AI 办公软件

据 TechCrunch 报道，在 Meta 从事 AI 研发八年、曾任超级智能实验室负责人的罗希特·帕特尔离职创立 Ndoc，开发旨在取代微软 Office 和谷歌 Workspace 的原生 AI 办公软件。

Meta AI 前总监 Rohit Patel 创办 Ndoc，瞄准替代 Microsoft Office 和 Google Workspace

在 Meta 开发 AI 八年后，前 Meta Superintelligence Labs 总监 Rohit Patel 创办 Ndoc，定位为 AI 原生的 Microsoft Office 和 Google Workspace 替代品。

Google A2UI 推出可切换推理格式，A2UI Express 将生成式 UI 延迟最多降低 3x

Google 为面向智能体的生成式 UI 协议 A2UI 推出可切换的推理格式，新增默认格式 A2UI Express，以类 Python 语法逐行描述组件树，生成同屏 UI 所需 token 最多减少 3x、延迟最多降低 3x，并由 Agent SDK 确定性编译为 JSON 传输协议。

Microsoft AI 发布 MAI Image 2.7 图像编辑模型，登 Arena 第 3 和 Artificial Analysis 第 2

Microsoft AI 发布图像编辑模型 MAI Image 2.7 预览版，在 Arena Edit 排名第 3（使 Microsoft AI 成为第 2 的实验室），在 Artificial Analysis 图像编辑榜单排名第 2。

Rohan Paul@rohanpaul_ai· 23:31AI 评分7474

Axiom 宣布完成有限单群分类定理的 Lean 自动形式化，这是数学史上最长的证明，原证明约 15000 页、500 多篇论文、约 100 位作者。约 4000 万行代码由成群的 AI 智能体在 24 天内写出，数学家负责引导。Axiom 称今年初 AxiomProver 写出正确的 10000 行 Lean 证明还需数周，此次进步归因于同时重建模型、harness 和基础设施三层。

Mustafa Suleyman@mustafasuleyman· 23:25AI 评分5757

Microsoft AI CEO Mustafa Suleyman 宣布 MAI-Image 现居全球图像编辑模型第二，称再次超越 Google、Meta、xAI 和 GPT-Image-2.5-Flare，可在 MAI Playground 试用。引用的 Artificial Analysis 分析称 MAI-Image-2.7-Preview 在 AA-Image-Editing v2.1 榜单排名第二，7 项编辑动作全面高于 MAI-Image-2.6，其中 4 项排名第一，最大提升为 Composition & Framing（+57 Elo），目前仅支持图像编辑，文生图功能即将推出。

Artificial Analysis@ArtificialAnlys· 23:25AI 评分5858

Artificial Analysis 评测显示，Microsoft AI 新图像编辑模型 MAI-Image-2.7-Preview 在 AA-Image-Editing v2.1 排名第二，仅次于 OpenAI 的 GPT Image 2.5 Sunburst (max)，并全面超越 8 月发布的 MAI-Image-2.6。

Arena.ai@arena· 23:22AI 评分4242

微软 MAI-Image-2.7-Preview 在 Image Edit Arena 以 1470 分位列总榜第 3，使 Microsoft AI 在实验室排名中升至第 2。相比此前排名第 7 的 MAI-Image-2.6，该版本提升 45 分，并在全部类别上均有进步：产品与品牌设计、人像、写实电影感图像均升至第 3，文字渲染与卡通动漫升至第 4，3D 成像与建模升至第 5。

Thomson Reuters 工程师实测喜马拉雅山 offline 编码智能体：OpenCode 加 Ollama 本地跑 Qwen3.5 9B

Thomson Reuters 首席工程师 Rittika Jindal 实测在完全断网的笔记本上运行编码智能体完成代码修复：用 Ollama 在本地跑 Qwen3.5 9B，OpenCode 1.19.4 负责与项目交互。

NVIDIA 实测三种优化将 Ling-3.0-flash 在 DGX Spark 上的解码吞吐提升 42.5%

NVIDIA 技术博客介绍在 DGX Spark 上加速 Ling-3.0-flash 推理的三种优化：Humming MXFP4 MoE 内核、LM head 在线 FP8 量化、以及用 NEXTN 做 MTP 投机解码。

Rohan Paul@rohanpaul_ai· 22:29AI 评分5959

Northeastern 团队发布 AuthorizationBench，测出 LLM 智能体即使用户未授权也会自行行动，在 6,864 次运行中越权率达 19.2%，且提升推理努力几乎不改变该比例。

Ben Horowitz 长文解析 Databricks 与智能体时代的公司形态

a16z 的 Ben Horowitz 发文解析 Databricks 如何成为智能体时代的公司基础设施，Databricks 已达到 70 亿美元收入运行率、同比增长 80%，估值 1900 亿美元。

前 DeepMind 研究员 Thore Graepel 创办 Metis Reasoning，欲借 AlphaGo 思路解决模型幻觉

前 DeepMind 研究员 Thore Graepel 在 Nvidia GTC 柏林大会上介绍其新公司 Metis Reasoning 的方法，把 AlphaGo 的搜索思路搬到通用推理，用显式知识账本记录已知内容、置信度和未解问题，由独立模块对照计算、形式证明或经验证据检验每个结论。

Mirendil 发布首个模型 Fern 0.1，支持 10M token 上下文

AI 实验室 Mirendil 发布首个编码模型 Fern 0.1，上下文窗口最高 10M token，约 23 MB 代码。其基座 Mirendil-Base 由 1 名研究员在 3.5 个月内完成预训练，总算力成本低于 1000 万美元，超过 99% 代码由 AI 智能体编写，训练数据仅来自公开来源。

Marissa Mayer 称"性别不重要"引争议，Dazzle 应用借 AI 代写女儿优点

雅虎前 CEO Marissa Mayer 在《纽约时报》采访中称性别在科技行业"会淡入背景"，并透露用其新推出的相册分析应用 Dazzle 生成对女儿的赞美。她同时否认 AI 模型存在偏见，并以李飞飞等女性高管为例。此番言论引发争议之际，女性科技大会 Grace Hopper Celebration 因注册与赞助不足取消，2025 年约 1.5 万人参会，为 2016 年以来最少。

Flock CEO 在泄露音频中称反 Flock 抗议是俄罗斯机器人煽动

404 Media 获取的泄露音频显示，自动车牌识别公司 Flock CEO Garrett Langley 在佛罗里达州奥兰多举行的 IACP 会议上对警察局长们称，全国反 Flock 抗议并非真实民意，社交媒体上的反对声主要由俄罗斯机器人推动。他称 Flock 相关社交讨论较 7 月下降约 95%，并重复了乌克兰无人机袭击俄罗斯数据中心影响网络机器人活动的已被否定的说法。

Apple 为 Pages、Keynote 和 Numbers 加入 AI 助手并支持 MCP

Apple 为 Keynote、Pages、Numbers 生产力套件推出 AI 助手，基于 Apple 与 OpenAI 的模型，可设计动画幻灯片、起草改写文稿、计算和可视化数据，正以 Beta 形式推向支持 Apple Intelligence 的 iOS 27、iPadOS 27 或 macOS 27 设备。

General Compute 完成 1 亿美元 A 轮融资，估值升至 8 亿美元

neocloud 创业公司 General Compute 完成 1 亿美元 A 轮融资，由 Blackbird Ventures 和 Abstract Ventures 领投，投后估值 8 亿美元，此前 5 月种子轮估值仅 6000 万美元。

Opera 推出 WebAI 网页标准，让用户在浏览器本地运行 AI 模型

Opera 推出名为 WebAI 的新网页标准，让用户直接在浏览器本地运行 AI 模型而无需依赖云端，该功能已在旗舰浏览器 Opera One 中以早期预览形式开放，需用户主动选择启用。

GMO Internet 称黑客公开窃取的客户数据，Onamae 云桌面服务疑遭入侵

GMO Internet 调查其 Onamae 云桌面服务疑遭未授权访问导致的数据泄露，称攻击者已发布疑似与客户和公司业务相关的信息，真实性仍在核实。

卡尔的AI沃茨@aiwarts· 21:25AI 评分7070

作者分享将米家、滴滴、美团、瑞幸、麦当劳、淘宝等 15 个国内 App 接入蚂蚁灵光 2.0 Personal Agent 的实测过程，并提供一段可直接复用的整段配置提示语。文中展示了灵光的定时任务、跨会话记忆、云主机长程任务调度等能力，例如迪士尼行程前主动分三个时间点跟踪天气、定时梳理支付宝账单和淘宝盯价，并按扫码、MCP、Skill、申请 Key 等接入难度逐个拆解配置步骤。

Apple Creator Studio 推出更新：Final Cut Pro 集成 MotionVFX，Keynote、Pages、Numbers 新增智能助手与 MCP 支持

Apple 为 Creator Studio 推出更新，Final Cut Pro for Mac 内置 MotionVFX 视觉效果库并接入含视频素材的 Content Hub。