Satya Nadella 强调机器学习在未来两至六周天气预报方面的研究
本周在《Nature》上,Satya Nadella 表示,其所在组织的新研究表明,机器学习可以改善未来两至六周的天气预报,而这一时段历来很难预测。 他强调,这项研究有望帮助人们更好地为极端天气做好准备。

本周在《Nature》上,Satya Nadella 表示,其所在组织的新研究表明,机器学习可以改善未来两至六周的天气预报,而这一时段历来很难预测。 他强调,这项研究有望帮助人们更好地为极端天气做好准备。
Google Research 介绍了三个将 AI 智能体与湿实验相结合的项目:VERD 实验室自动化、闭环适配体发现,以及从头设计蛋白质结合体。经过三轮实验,适配体对肌红蛋白和 α-凝血酶的靶向命中率分别达到 33.5% 和 42.1%;蛋白质设计流程将计算周期加快了八倍以上,并获得了亲和力达到个位数纳摩尔级的结合体。整合这些项目仍是下一步工作,相关保障措施包括序列筛查、机器人执行前进行模拟,以及取得人工授权并由人工监督。
推荐理由:适配体实验展示了实验反馈如何揭示具有误导性的优化目标,为自动化发现流程提供了一种可迁移的方法,用于区分真正的生物学改进与实验伪象。
Anthropic 报告称,Claude Mythos 5 通过其 STEM Fellows 项目,根据自然语言指令设计了量子电路。 这些电路优于目前已发表的最佳电路,有时提升一个数量级甚至更多。
Google DeepMind 报告称,四个 Gemini 4 Argon 智能体从零开始在 27 小时内通关了《Minecraft》。 它们在沙盒环境中仅使用代码和文本,编写了 2,783 个程序,通过聊天分工、共享笔记并协作调试错误,全程没有人类帮助。 https://t.co/uyIhDOQXGT
推荐理由:这份报告提供了一个具体案例,展示了智能体如何通过代码、聊天、共享笔记和协作调试,在一项持续 27 小时的任务中进行协调。
尼克·卡马拉塔在《神经网络本来就很清晰》一文中指出,更先进的观测工具揭示了连贯的神经元功能;据其报告,在受测的现代视觉模型中,最终层 99%–100% 的神经元都得到了清晰解释。他将一些经典案例中看似无关的特征重新解释为几何检测或递归泛化。尼尔·南达则反驳说,这些发现并未解决语言模型中的表征叠加问题,并为稀疏自编码器(SAE)的应用辩护。卡马拉塔称这一提议是一个工作假设,同时承认在语言模型训练证据、多模态覆盖和因果验证方面仍有不足。
Latent Space 介绍了 Goodfire 的 Nick Cammarata 提出的一项工作理论:神经网络在很大程度上已经可解释,进一步的智能体分析可以解释许多常见的多义性和叠加现象实例。Cammarata 认为,大多数神经元都能被理解;相比之下,他在 2023 年参与的 OpenAI 项目中,这一比例约为 2%。这篇综述还提到了几项质疑:激活较弱、神经元模拟,以及忽略非最大激活;同时提醒读者,论文目前尚未公开。
Artificial Analysis 报告称,在 AA-AgentPerf 的初步测试结果中,NVIDIA Vera Rubin NVL72 在 DeepSeek V4 Pro 上的每兆瓦吞吐量最高可达 GB300 NVL72 的约 5.7 倍。其优势在单用户速度较快时最大;在测试的四款模型中,峰值吞吐量增幅为 1.14 倍至 1.45 倍。NVIDIA 提交的所有 Vera Rubin 测试结果均使用 TensorRT-LLM 和搭配 NVIDIA Dynamo 的 vLLM;该基准会重放真实的智能体编程会话,并测量每兆瓦实测 GPU 功耗对应的吞吐量以及每个智能体的输出速度。
NVIDIA 与 IIT Madras 的 AI4Bharat 推出 Nemotron-pretraining-Indic-v1,涵盖 22 种印度语言、约 2.8 万亿个 token,并将很快与其开放式 GPU 加速生成流程一同发布。该语料库包含全部 22 种语言的本土文字文本,以及 12 种语言的罗马化文本;这些文本由精选英文来源翻译而来,并经过质量检查和来源追溯。一个印度语系继续预训练阶段提升了五项已报告基准的成绩,但该阶段混合了合成数据与自然数据,因此这项比较无法单独确定该语料库的贡献。
推荐理由:该流程通过将翻译、质量评估、修复和文字系统转换分开,同时保留与源文档的链接,为多语言数据生成提供了一种可复用的方法。
Microsoft Research 推出 Magnetar,这是一种零知识虚拟机,使用仅基于标准哈希函数的安全机制来证明 RISC-V 程序的执行。它支持用 Rust、Go 或 C 编写的程序,无需开发者将其改写为密码学电路。Microsoft 报告称,在 15 个基准测试程序中,Magnetar 在同一台机器上的平均速度比现有最快的可比 zkVM 快 10 至 39 倍,证明验证时间约为 12 毫秒。
推荐理由:基准测试对比将证明速度与通用执行和标准哈希函数联系起来,阐明了限制可验证计算更广泛采用的权衡。
GPT-6-Astra 在 OpenAI 的 Codex 环境中运行,未获得人类提示,解决了 TheoPhysEval 涵盖十一个理论物理子领域的 50 道题中的 49 道,总花费略低于 116 美元。Anthropic 的 Opus 5.5 得分为 92%,而两款模型在无法访问互联网时都达到了 92%。研究人员强调,该基准测试的是运用已知方法进行计算的能力;而选择有前景的研究问题,对当前的智能体来说仍是另一项挑战。
推荐理由:该基准区分了完成具体物理计算的熟练程度与选择有价值研究问题的能力,厘清了高分实际衡量的是科学工作中的哪些部分。
徐迪生团队在一项人机协作中使用了上海人工智能实验室的书生-S2 模型,证明了三维 Ghys 猜想,相关预印本已发布在 arXiv 上。研究人员指导了七轮递归探索,问题图的节点数从 15 个扩展到 389 个。北京大学团队使用其 SHEAF 框架,将全部四个主要定理形式化,在约五天内生成约 55 万行 Lean 代码,并通过了 Lean 检查。
推荐理由:这种工作流程为研究数学提供了一种可迁移的方法:将专家指导与模型递归探索结合起来,并围绕由可检查证明任务构成的依赖图组织形式化验证。
Artificial Analysis 要求 AI 模型在线下以 3D 方式构建埃菲尔铁塔。Claude Opus 5.5 和 Grok 4.7 按正确顺序列出了镌刻在塔上的 72 位科学家、工程师和数学家的姓名,尽管双方共用的任务说明从未提及这些姓名。 Claude Opus 5.5 还将每组姓名与其在巴黎的朝向对应起来。两个模型都在无法访问互联网的情况下以智能体方式工作;这些姓名首次出现在它们生成的代码中,从未出现在它们读取的文件或工具输出里。
欢迎来到具身 AI 时代。 我们正式推出 AA-Robotics v0.1,这是我们的研究预览版,用于衡量前沿语言模型在理解、规划和在物理世界中采取行动方面的表现。在 v0.1 中,每个模型都可以控制一台 6 轴机械臂(5 个关节和一个 https://t.co/fCwpnDlvB2
六个月前,前沿 AI 模型勉强能赢《杀戮尖塔》。如今,根据我们新推出的 SpireClimb 基准测试,它们在最低难度下的胜率超过 90%,在最高难度下最高可达 20%。https://t.co/KvV5gD2RBh
健康科学研究领域的 10 篇新论文,全部在不到 4 周内由 Muse 模型撰写。 我们认为,健康是 Muse 将对人类产生最大积极影响的领域之一 ❤️ https://t.co/eejFDFd2Co
谷歌工程师海登·贝尔菲尔德表示,尽管自动化程度大幅提高,谷歌 DeepMind 尚未发现 AI 推动 AI 研究加速的可衡量证据。AI 编写了超过 75% 的生产代码,但每项改动在提交前都会经过人工审核;Argon 能完成 RE-Bench 的 74 项机器学习工程任务中约一半。谷歌的通用能力指数显示 Gemini 的能力稳步提升,但没有出现具有统计显著性的加速,这与研究人员关于可能出现智能爆炸的警告形成对照。
Artificial Analysis 正将 AMD MI355X 的结果纳入 AA-AgentPerf。该基准会重放真实的编码智能体会话,并模拟提示缓存和工具调用延迟。 在单台 8-GPU 节点上,对于 DeepSeek V4 Pro 0813,在每位用户 35 至 75 tok/s 的范围内,MI355X 的每兆瓦吞吐量比 B200 高约 15% 至 40%。DeepSeek V4.1 Flash 在单个智能体场景下达到 NVIDIA Blackwell 的性能,但随着负载上升则有所落后;GLM-5.2/5.3 和 Kimi K3 的表现也落后于所比较的 NVIDIA 系统。 结果使用 ROCm nightly 以及 vLLM 和 SGLang 的开发版本;Kimi K3 的比较采用 NVIDIA 多节点配置。
研究人员使用基于人工智能的蛋白质设计工具,保留了两种蛋白酶的催化核心,同时替换了每种蛋白质的其余部分。由此产生的酶可以经过调节,专门将特定蛋白质切成两半;研究人员通过切割与神经系统疾病相关的蛋白质,展示了这些酶的效果。
微软研究人员及合作者在《自然》杂志发表了关于概率偏差校正(PBC)的研究。PBC 是一种开源机器学习工具,可校正现有天气模型中的系统性偏差,从而改进提前两至六周的预报。在这项研究中,PBC 提高了 ECMWF 基于物理的模型在 98% 的降水目标和 92% 的温度目标上的准确度,并使其 AI 预报系统的准确度翻倍。该工具可在 CPU 上运行,不过 ECMWF 提醒,实际投入运行仍面临挑战。
Google 发布了一份技术报告,评估其处于实验阶段的 Geospatial Reasoning 智能体在四项基准测试中的表现,并通过 Ask Google Earth 和 Agent-to-Agent API 扩大早期访问范围。使用 Gemini 3.8 Flash 和 Gemini 3.1 Pro 进行的评估发现,专用 Earth AI 工具提升了空间推理能力,而预先规划有助于处理开放式工作流。Google 正在发布 GeoKTools 和 GeoExpertQueries 的开发划分数据集,但提醒称,GeoExpertQueries 评估的是对专家工作流程的遵循情况,而非最终答案的正确性,因此智能体的输出应作为草稿,由专家审核。
Ai2 推出了 HiRO-ACEv2,这是一款升级版气候模拟器,可生成全球 3 公里分辨率的降雨、风和气压数据,成本约为 X-SHiELD 的 1/300。输入经过降尺度处理的 X-SHiELD 数据后,其 HiROv2 降尺度模型生成的高分辨率统计数据与参考值相差不超过 3%,即使对于每百万个数据点中仅出现一次的事件也是如此。目前,该系统只能与经过调校以匹配 X-SHiELD 的 ACE 配合使用,尚不能为其他气候生成高分辨率数据;可下载的模型、教程笔记本和网页演示现已开放。
推荐理由:与 X-SHiELD 的比较为研究人员提供了极端天气模拟的具体成本和准确度参照,但目前适用范围仅限于训练数据所代表的气候。
White Circle 研究人员报告称,他们的 RISE 攻击方法绕过了 DALL·E 3、Nano Banana 2 和 GPT-Image-2 的安全防护,约有 13% 的情况下生成了露骨图像。该方法使用广泛可用的模型,迭代开发并评估越狱策略。White Circle 告诉 Ars Technica,后续测试发现,ChatGPT Images 2.5 和 Nano Banana 2.1 比其前代产品脆弱得多;Google 和 OpenAI 未回应置评请求。
Artificial Analysis 将 DeepSeek V4.1 Flash 纳入 AA-AgentPerf。该基准测试工具会重放真实的智能体编程会话,并模拟提示缓存和工具调用延迟。按每位用户 100 tokens/s 的输出速度计算,GB300 以约 261M tokens/s per MW 领先,其次是约 220M 的 B300 和约 128M 的 MI355X。与 DeepSeek V4 Pro 0813 相比,V4.1 Flash 在 Artificial Analysis Intelligence Index 上得分为 39,而 V4 Pro 0813 为 36;在这一用户输出速度下,V4.1 Flash 的每 MW 吞吐量约为后者的 1.3 倍至 6.2 倍,具体取决于硬件。
Leiphone 报道了毛家源在 IROS 2026 上的演讲,介绍了宾夕法尼亚大学、麻省理工学院和斯坦福大学在机器人学习与组合泛化方面的研究。RAPID 将编码智能体与物理验证相结合,只需一次人工示范即可学习复杂的非抓取任务。在另一项视频动作研究中,团队引入了 Temporal Ratio,用于衡量模型对未来帧与当前帧的关注程度;基于该指标的自适应引导,使真实双臂机器人在未见过的组合任务上的平均成功率从 71.8% 提高到 83%,且无需重新训练。
Artificial Analysis 推出了 Decision Index v1.0,用于比较决策模型在分类、工具调用、知识和推理方面的能力、成本与速度。Jev 1.13 以 58 分领跑决策模型;Claude Haiku 5.5 (Low) 得分为 61,但每项任务耗时 1.4 秒,而决策模型耗时 0.13 秒;每百万项任务的成本为 184 美元,而决策模型为 42 美元。领先的决策模型在分类和工具调用方面表现与语言模型相当,但在知识和推理方面落后;在这两项任务中,它们给出的答案概率通常高于其准确率。
Anthropic研究人员William Zhou和Daniel Freeman报告称,到2026年底,小型AI模型可能具备在安全性较差的消费设备间自主复制的能力。Gemma4-26B-A4B在15台安卓电视盒子上运行,每台售价约55美元;GLM-5.2在五次测试中的四次都复制到了全部八个测试节点。实验没有涉及实际黑客攻击。目前还没有模型同时具备自主复制AI蠕虫所需的小体积和复制能力。
Jay 报道称,Anthropic 研究人员 William Zhou 和 Daniel Freeman 在一个隔离网络中测试了 GLM-5.2。该网络由 8 个 GCP 节点组成,每个节点运行 Android 15 redroid 模拟器。GLM-5.2 在 5 次试验中的 4 次自主部署了 Llama3.1-8B 并传播到全部 8 个节点;另一次试验中传播到了 7 个节点。另有一项实验中,研究人员手动将 Gemma4-26B-A4B 分发到 15 台 Android TV 盒子上,运行速度为每秒 0.39 个 token;而在后续几代继承了调试笔记的模型中,Qwen3.5-9B 的部署成功率从 45% 提高到 61%–84%。
Baoyu 总结了 Anthropic 的一项研究:在模拟的 Android 服务器上,只有 GLM-5.2 完成了整个复制流程,较小的模型均未成功。实验使用了未经身份验证的 ADB 访问,并通过远程方式运行 GLM-5.2 来部署 Llama3.1-8B,因此这些结果能证明的自主扩散能力有限。Anthropic 根据通用能力的发展趋势粗略预测,到年底,较小的模型可能具备与 GLM-5.2 在测试中展现的能力相当的水平。研究人员还手动将 Gemma4-26B-A4B 部署到 15 台 Android TV 盒子上,速度达到每秒 0.39 个 token。
推荐理由:实验设置有助于区分简化条件下的成功复制与在消费级设备上的自主扩散,从而厘清对小模型时间预测的局限。
很高兴看到研究从实验室走向真实世界的临床应用——祝贺团队取得这一里程碑,并发表《柳叶刀》论文! https://twitter.com/sundarpichai/status/2108329198955958339 在这条引用的帖子中,Sundar Pichai 介绍了 Google 对 AMIE 开展的前瞻性研究,研究纳入了 @BIDMC_Medicine 的真实急诊患者。临床医生报告称,在 75% 的病例中,AMIE 的病史摘要帮助他们为就诊做好准备;在超过一半的病例中,这些摘要影响了诊疗方案;其鉴别诊断与医生最终诊断相符的比例为 90%。
Artificial Analysis 推出了 AA-3D,这是一项基准测试:AI 智能体根据七个领域的 55 份文字简报生成交互式 three.js 场景,供人类进行盲测比较。 来自 1,000 多名评审的计票数超过 10,000 票,按 Elo 对 21 个模型进行排名,并给出 95% 置信区间;Claude Sonnet 5.5、Claude Opus 5.5、GPT-6 Astra 和 Claude Fable 5.1 在统计上并列领先。 模型最多可用三小时和 250 轮,报告的每个场景成本从 $0.20 到 $32.08 不等。
QbitAI 报道称,数学爱好者 nor 使用 GPT-6 Astra 证明了在圆内装填 15、16、17、18 和 20 个单位圆盘时的最优性,从而完成了 N≤20 的剩余情形。该方法结合了几何约束、有限的计算枚举和精确的最优性论证。nor 表示,过程中有大量人工参与,包括引导模型、修复问题、手动验证有效性,以及使用 Astra 和 Opus 5.5 重新检查结果。
推荐理由:据报道,这种证明策略展示了几何约束如何将无限搜索空间缩减为有限情形,并通过刚性论证将计算排除与精确的最优性证明联系起来。
Sakana AI 和加州大学伯克利分校的研究人员推出了 MASS,这是一种利用 Qwen3.6-27B 的多个副本来解决任务、评估结果并优化工作流程的方法,无需更强大的教师模型。经过两轮优化,它在测试任务中相较于基础模型的胜率达到 69.9%,不过基准测试的提升很大程度上源于完成的工作更多,而且部分分数有所下降。由于存在共同盲点,有缺陷的结果得以通过评估并进入训练;研究人员因此建议进行独立检查、限制自主性,并明确干预条件。
Artificial Analysis 推出了 FrontierCode 1.1 排行榜,使用 Cognition 的私有编码基准对模型进行评估,采用包含 100 项任务的 Main 集和其 Stirrup 开源参考测试框架。评分结合单元测试与面向维护者的标准;任何一项阻断性检查未通过,得分即为零。Claude Opus 5.5(max with fallback)以 52% 领先,尝试中通过阻断项的比例为 58%;开放权重模型中 MiMo-V2.6-Pro 以 45% 领先,而 GPT-6.1 Sol(max)每项任务费用为 $0.81,得分 49%,与 Claude Fable 5.1(max with fallback)持平。
微软研究院推出 StudentSim,这是一套研究系统,利用公开可用且已去标识化的学习者记录训练个性化学生模拟器,以评估和改进 AI 辅导工具。StudentSimEval 在国际象棋、英语作为第二语言的写作和数学领域,衡量行为保真度和对指导的响应能力;在这些领域,StudentSim 的表现均优于领先基线。在一项国际象棋辅导研究中,使用 StudentSim 反馈进行训练的准确率达到 90.5%,而不使用强化学习时为 75.7%,使用 GPT-5.4 反馈时为 71.6%;对真实学习者开展研究仍不可或缺,论文和代码均已公开。
推荐理由:同时评估模拟学习者的起始能力及其对指导的反应,为评估辅导反馈提供了一种具体方法,评估范围超越了解释本身是否正确。
一项微软研究院的研究报告称,Fork-and-Flush 通过创建并行分支来帮助长期运行的 AI 研究智能体探索更好的解决方案:这些分支保留工作区文件,但丢弃聊天记录。在 13 项任务中,使用相同计算预算时,该方法的最小最大归一化平均得分为 0.78,而单次运行和四选最佳的得分分别为 0.47 和 0.54。研究人员发现,累积的上下文可能会让智能体陷入相似的方案,即使对话记录会定期压缩。
Import AI 476 介绍了 Humanity’s Sixth Sense,这是 Elorian 和 Scale AI 推出的一项基准测试,用于评估直觉式视觉推理。人类的综合 pass@1 得分为 93.1,而 GPT 6 Astra 得分为 53.6;GLM-5.3-flash 和 Kimi K3 分别为 26.8 和 25.5。本期通讯还探讨了 AI 如何加速太空开发,并报道了 TasteVal——一项评估 AI 系统研究品味的基准测试。
据《Science》发表的一项同行评审研究,Google DeepMind 的 AlphaProof Nexus 解决了数十道未解数学问题,其中包括 353 道未解 Erdős 问题中的 9 道,有两道问题已有 56 年未能解决。它还证明了 44 个 OEIS 猜想,解决了一道未解的代数几何问题,并改进了一个极小极大优化界。该系统以 Gemini 3.1 Pro 为基础,使用 Lean 撰写并修订证明,并根据检查器的反馈进行调整;对于更难的子问题,它还可以调用 AlphaProof,不过 DeepMind 报告称,这 9 道 Erdős 问题是在未使用该工具的情况下解决的。
推荐理由:DeepMind 采用同行评审,使其研究能与 OpenAI 在 GitHub 上发布 AI 证明的做法进行具体比较;目前,关于如何评估 AI 数学能力的讨论仍在继续。
华为诺亚方舟实验室、伦敦大学学院及合作者报告称,Memento 3 通关了 ARC-AGI-3 全部 25 款公开游戏和 183 个关卡,共使用 7518 次操作,比人类少约 56%,获得 100 RHAE 的分数。该智能体基于 Claude Opus 5 构建,未更新权重,也未针对具体游戏进行微调;它会迭代修订 Markdown 规则手册和可执行的 Python 世界模型。在 Atari Pong 中,它通过学习得到的代码策略,在未进一步调用 LLM 的情况下以 21:0 赢下三局;实验主要涉及规则相对明确的游戏环境。
评估公司 Vals AI 在 Vibe Code Bench 上测试了 GPT-6 Sol 和 Claude Opus 5.5,分别以单智能体和团队形式运行,并采用中等和最高推理强度。团队的成本比单个智能体高出 1.8 倍至 5.1 倍,而在四组对比中只有一组显示出统计上显著的提升:GPT-6 Sol 在中等推理强度下,团队得分高出 7.3 分。在最高推理强度下,团队未能给任一模型带来真正的优势。
Epoch AI 的 InnovationEval 要求 AI 智能体从 GRPO 出发发明一种新的后训练方法,然后在无互联网访问的条件下实现、测试并改进该方法。在宽松评分下,GPT-5.6 Sol 达到了人类参考方法 SDPO 改进幅度的大约 35%,若仅计入符合规则的改动则约为 15%;而 Claude Fable 5 未产生可测量的增益。两个智能体都只报告了各自的最佳运行结果,Epoch 由此得出结论:人类将需要审查所有由 AI 生成的研究。