Satya Nadella 强调机器学习在未来两至六周天气预报方面的研究
本周在《Nature》上，Satya Nadella 表示，其所在组织的新研究表明，机器学习可以改善未来两至六周的天气预报，而这一时段历来很难预测。 他强调，这项研究有望帮助人们更好地为极端天气做好准备。
全部动态 · 今日4条
#论文/研究
信源抓到、进了内容池的全部内容，按时间排列；精选只是其中一部分。
论文
研究论文、技术报告、基准与数据集
Satya Nadella · X60 Google Research精选76 让 AI 智能体立足生物学现实：构建自主湿实验室的基石
Google Research 介绍了三个将 AI 智能体与湿实验相结合的项目：VERD 实验室自动化、闭环适配体发现，以及从头设计蛋白质结合体。经过三轮实验，适配体对肌红蛋白和 α-凝血酶的靶向命中率分别达到 33.5% 和 42.1%；蛋白质设计流程将计算周期加快了八倍以上，并获得了亲和力达到个位数纳摩尔级的结合体。整合这些项目仍是下一步工作，相关保障措施包括序列筛查、机器人执行前进行模拟，以及取得人工授权并由人工监督。
推荐理由：适配体实验展示了实验反馈如何揭示具有误导性的优化目标，为自动化发现流程提供了一种可迁移的方法，用于区分真正的生物学改进与实验伪象。
Anthropic · X53 Anthropic STEM Fellows 项目利用 Claude 探索更高效的量子电路
Anthropic 报告称，Claude Mythos 5 通过其 STEM Fellows 项目，根据自然语言指令设计了量子电路。 这些电路优于目前已发表的最佳电路，有时提升一个数量级甚至更多。
Google DeepMind · X精选72 四个 Gemini 4 Argon 智能体从零开始在 27 小时内通关《Minecraft》
Google DeepMind 报告称，四个 Gemini 4 Argon 智能体从零开始在 27 小时内通关了《Minecraft》。 它们在沙盒环境中仅使用代码和文本，编写了 2,783 个程序，通过聊天分工、共享笔记并协作调试错误，全程没有人类帮助。 https://t.co/uyIhDOQXGT
推荐理由：这份报告提供了一个具体案例，展示了智能体如何通过代码、聊天、共享笔记和协作调试，在一项持续 27 小时的任务中进行协调。
雷锋网72 尼克·卡马拉塔质疑神经网络可解释性中的叠加解释
尼克·卡马拉塔在《神经网络本来就很清晰》一文中指出，更先进的观测工具揭示了连贯的神经元功能；据其报告，在受测的现代视觉模型中，最终层 99%–100% 的神经元都得到了清晰解释。他将一些经典案例中看似无关的特征重新解释为几何检测或递归泛化。尼尔·南达则反驳说，这些发现并未解决语言模型中的表征叠加问题，并为稀疏自编码器（SAE）的应用辩护。卡马拉塔称这一提议是一个工作假设，同时承认在语言模型训练证据、多模态覆盖和因果验证方面仍有不足。
Latent Space62 Goodfire 的 Nick Cammarata 认为，智能体分析能够解释神经网络中一些常见的多义性实例
Latent Space 介绍了 Goodfire 的 Nick Cammarata 提出的一项工作理论：神经网络在很大程度上已经可解释，进一步的智能体分析可以解释许多常见的多义性和叠加现象实例。Cammarata 认为，大多数神经元都能被理解；相比之下，他在 2023 年参与的 OpenAI 项目中，这一比例约为 2%。这篇综述还提到了几项质疑：激活较弱、神经元模拟，以及忽略非最大激活；同时提醒读者，论文目前尚未公开。
Hugging Face Blog精选82 NVIDIA 与 IIT Madras 的 AI4Bharat 推出 Nemotron-pretraining-Indic-v1 及开放数据生成流程
NVIDIA 与 IIT Madras 的 AI4Bharat 推出 Nemotron-pretraining-Indic-v1，涵盖 22 种印度语言、约 2.8 万亿个 token，并将很快与其开放式 GPU 加速生成流程一同发布。该语料库包含全部 22 种语言的本土文字文本，以及 12 种语言的罗马化文本；这些文本由精选英文来源翻译而来，并经过质量检查和来源追溯。一个印度语系继续预训练阶段提升了五项已报告基准的成绩，但该阶段混合了合成数据与自然数据，因此这项比较无法单独确定该语料库的贡献。
推荐理由：该流程通过将翻译、质量评估、修复和文字系统转换分开，同时保留与源文档的链接，为多语言数据生成提供了一种可复用的方法。
Microsoft Research精选79 Microsoft Research 推出面向基于证明的通用计算的 Magnetar
Microsoft Research 推出 Magnetar，这是一种零知识虚拟机，使用仅基于标准哈希函数的安全机制来证明 RISC-V 程序的执行。它支持用 Rust、Go 或 C 编写的程序，无需开发者将其改写为密码学电路。Microsoft 报告称，在 15 个基准测试程序中，Magnetar 在同一台机器上的平均速度比现有最快的可比 zkVM 快 10 至 39 倍，证明验证时间约为 12 毫秒。
推荐理由：基准测试对比将证明速度与通用执行和标准哈希函数联系起来，阐明了限制可验证计算更广泛采用的权衡。
雷锋网精选84 上海人工智能实验室的书生-S2 助力证明三维 Ghys 猜想
徐迪生团队在一项人机协作中使用了上海人工智能实验室的书生-S2 模型，证明了三维 Ghys 猜想，相关预印本已发布在 arXiv 上。研究人员指导了七轮递归探索，问题图的节点数从 15 个扩展到 389 个。北京大学团队使用其 SHEAF 框架，将全部四个主要定理形式化，在约五天内生成约 55 万行 Lean 代码，并通过了 Lean 检查。
推荐理由：这种工作流程为研究数学提供了一种可迁移的方法：将专家指导与模型递归探索结合起来，并围绕由可检查证明任务构成的依赖图组织形式化验证。
Artificial Analysis · X31 Artificial Analysis 发布 AA-Robotics v0.1 研究预览版
欢迎来到具身 AI 时代。 我们正式推出 AA-Robotics v0.1，这是我们的研究预览版，用于衡量前沿语言模型在理解、规划和在物理世界中采取行动方面的表现。在 v0.1 中，每个模型都可以控制一台 6 轴机械臂（5 个关节和一个 https://t.co/fCwpnDlvB2
Epoch AI · X50 Epoch AI 的 SpireClimb 基准测试显示，前沿模型在最难的挑战中胜率最高达 20%
六个月前，前沿 AI 模型勉强能赢《杀戮尖塔》。如今，根据我们新推出的 SpireClimb 基准测试，它们在最低难度下的胜率超过 90%，在最高难度下最高可达 20%。https://t.co/KvV5gD2RBh
Alexandr Wang · X45 Alexandr Wang 称，10 篇健康科学论文在不到 4 周内由 Muse 模型撰写
健康科学研究领域的 10 篇新论文，全部在不到 4 周内由 Muse 模型撰写。 我们认为，健康是 Muse 将对人类产生最大积极影响的领域之一 ❤️ https://t.co/eejFDFd2Co
The Decoder62 谷歌称，自我改进型 AI 还远未实现
谷歌工程师海登·贝尔菲尔德表示，尽管自动化程度大幅提高，谷歌 DeepMind 尚未发现 AI 推动 AI 研究加速的可衡量证据。AI 编写了超过 75% 的生产代码，但每项改动在提交前都会经过人工审核；Argon 能完成 RE-Bench 的 74 项机器学习工程任务中约一半。谷歌的通用能力指数显示 Gemini 的能力稳步提升，但没有出现具有统计显著性的加速，这与研究人员关于可能出现智能爆炸的警告形成对照。
Ars Technica · AI55 研究人员利用人工智能设计能够切割其他蛋白质的蛋白质
研究人员使用基于人工智能的蛋白质设计工具，保留了两种蛋白酶的催化核心，同时替换了每种蛋白质的其余部分。由此产生的酶可以经过调节，专门将特定蛋白质切成两半；研究人员通过切割与神经系统疾病相关的蛋白质，展示了这些酶的效果。
The Verge · AI72 微软研究推出面向更长期天气预报的机器学习校正方法
微软研究人员及合作者在《自然》杂志发表了关于概率偏差校正（PBC）的研究。PBC 是一种开源机器学习工具，可校正现有天气模型中的系统性偏差，从而改进提前两至六周的预报。在这项研究中，PBC 提高了 ECMWF 基于物理的模型在 98% 的降水目标和 92% 的温度目标上的准确度，并使其 AI 预报系统的准确度翻倍。该工具可在 CPU 上运行，不过 ECMWF 提醒，实际投入运行仍面临挑战。
Google Research78 Google 评估 Earth AI 地理空间智能体，并扩大实验性访问范围
Google 发布了一份技术报告，评估其处于实验阶段的 Geospatial Reasoning 智能体在四项基准测试中的表现，并通过 Ask Google Earth 和 Agent-to-Agent API 扩大早期访问范围。使用 Gemini 3.8 Flash 和 Gemini 3.1 Pro 进行的评估发现，专用 Earth AI 工具提升了空间推理能力，而预先规划有助于处理开放式工作流。Google 正在发布 GeoKTools 和 GeoExpertQueries 的开发划分数据集，但提醒称，GeoExpertQueries 评估的是对专家工作流程的遵循情况，而非最终答案的正确性，因此智能体的输出应作为草稿，由专家审核。
Hugging Face Blog精选73 HiRO-ACEv2 以 3 公里分辨率模拟极端天气，成本仅为原来的很小一部分
Ai2 推出了 HiRO-ACEv2，这是一款升级版气候模拟器，可生成全球 3 公里分辨率的降雨、风和气压数据，成本约为 X-SHiELD 的 1/300。输入经过降尺度处理的 X-SHiELD 数据后，其 HiROv2 降尺度模型生成的高分辨率统计数据与参考值相差不超过 3%，即使对于每百万个数据点中仅出现一次的事件也是如此。目前，该系统只能与经过调校以匹配 X-SHiELD 的 ACE 配合使用，尚不能为其他气候生成高分辨率数据；可下载的模型、教程笔记本和网页演示现已开放。
推荐理由：与 X-SHiELD 的比较为研究人员提供了极端天气模拟的具体成本和准确度参照，但目前适用范围仅限于训练数据所代表的气候。
Ars Technica · AI74 研究人员报告称，OpenAI 和 Google 的图像模型存在越狱漏洞
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 未回应置评请求。
雷锋网74 毛家源详解 IROS 2026 上的单次示范机器人学习与 83% 的真实场景泛化率
Leiphone 报道了毛家源在 IROS 2026 上的演讲，介绍了宾夕法尼亚大学、麻省理工学院和斯坦福大学在机器人学习与组合泛化方面的研究。RAPID 将编码智能体与物理验证相结合，只需一次人工示范即可学习复杂的非抓取任务。在另一项视频动作研究中，团队引入了 Temporal Ratio，用于衡量模型对未来帧与当前帧的关注程度；基于该指标的自适应引导，使真实双臂机器人在未见过的组合任务上的平均成功率从 71.8% 提高到 83%，且无需重新训练。
The Decoder73 Anthropic研究警告：小型AI模型或很快就能在消费设备间自我复制
Anthropic研究人员William Zhou和Daniel Freeman报告称，到2026年底，小型AI模型可能具备在安全性较差的消费设备间自主复制的能力。Gemma4-26B-A4B在15台安卓电视盒子上运行，每台售价约55美元；GLM-5.2在五次测试中的四次都复制到了全部八个测试节点。实验没有涉及实际黑客攻击。目前还没有模型同时具备自主复制AI蠕虫所需的小体积和复制能力。
量子位71 Anthropic 研究人员在模拟 Android 设备上测试自主 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%。
宝玉 · X精选76 Anthropic 测试 AI 自我复制，并预测小模型今年可能迎头赶上
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。
推荐理由：实验设置有助于区分简化条件下的成功复制与在消费级设备上的自主扩散，从而厘清对小模型时间预测的局限。
Demis Hassabis · X76 Demis Hassabis 欢迎 AMIE 临床研究发表于《柳叶刀》
很高兴看到研究从实验室走向真实世界的临床应用——祝贺团队取得这一里程碑，并发表《柳叶刀》论文！ https://twitter.com/sundarpichai/status/2108329198955958339 在这条引用的帖子中，Sundar Pichai 介绍了 Google 对 AMIE 开展的前瞻性研究，研究纳入了 @BIDMC_Medicine 的真实急诊患者。临床医生报告称，在 75% 的病例中，AMIE 的病史摘要帮助他们为就诊做好准备；在超过一半的病例中，这些摘要影响了诊疗方案；其鉴别诊断与医生最终诊断相符的比例为 90%。
Artificial Analysis · X56 Artificial Analysis 推出 AA-3D，用于评测 AI 模型构建交互式 3D 场景的能力
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 不等。
量子位精选80 GPT-6 Astra 帮助数学爱好者 nor 证明了五种圆内圆盘装填情形
QbitAI 报道称，数学爱好者 nor 使用 GPT-6 Astra 证明了在圆内装填 15、16、17、18 和 20 个单位圆盘时的最优性，从而完成了 N≤20 的剩余情形。该方法结合了几何约束、有限的计算枚举和精确的最优性论证。nor 表示，过程中有大量人工参与，包括引导模型、修复问题、手动验证有效性，以及使用 Astra 和 Opus 5.5 重新检查结果。
推荐理由：据报道，这种证明策略展示了几何约束如何将无限搜索空间缩减为有限情形，并通过刚性论证将计算排除与精确的最优性证明联系起来。
The Decoder66 Sakana AI 的自我改进模型在解题和评判方面表现更好，但无法发现自身的盲点
Sakana AI 和加州大学伯克利分校的研究人员推出了 MASS，这是一种利用 Qwen3.6-27B 的多个副本来解决任务、评估结果并优化工作流程的方法，无需更强大的教师模型。经过两轮优化，它在测试任务中相较于基础模型的胜率达到 69.9%，不过基准测试的提升很大程度上源于完成的工作更多，而且部分分数有所下降。由于存在共同盲点，有缺陷的结果得以通过评估并进入训练；研究人员因此建议进行独立检查、限制自主性，并明确干预条件。
Microsoft Research精选65 模拟学生学习，改进 AI 辅导
微软研究院推出 StudentSim，这是一套研究系统，利用公开可用且已去标识化的学习者记录训练个性化学生模拟器，以评估和改进 AI 辅导工具。StudentSimEval 在国际象棋、英语作为第二语言的写作和数学领域，衡量行为保真度和对指导的响应能力；在这些领域，StudentSim 的表现均优于领先基线。在一项国际象棋辅导研究中，使用 StudentSim 反馈进行训练的准确率达到 90.5%，而不使用强化学习时为 75.7%，使用 GPT-5.4 反馈时为 71.6%；对真实学习者开展研究仍不可或缺，论文和代码均已公开。
推荐理由：同时评估模拟学习者的起始能力及其对指导的反应，为评估辅导反馈提供了一种具体方法，评估范围超越了解释本身是否正确。
The Decoder72 清除聊天记录有助于 AI 智能体找到更好的解决方案
一项微软研究院的研究报告称，Fork-and-Flush 通过创建并行分支来帮助长期运行的 AI 研究智能体探索更好的解决方案：这些分支保留工作区文件，但丢弃聊天记录。在 13 项任务中，使用相同计算预算时，该方法的最小最大归一化平均得分为 0.78，而单次运行和四选最佳的得分分别为 0.47 和 0.54。研究人员发现，累积的上下文可能会让智能体陷入相似的方案，即使对话记录会定期压缩。
Import AI34 Import AI 476：新基准测试视觉推理与研究品味
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 系统研究品味的基准测试。
The Decoder精选81 Google DeepMind 的 AlphaProof Nexus 在一项同行评审研究中解决了数十道未解数学问题
据《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 数学能力的讨论仍在继续。
量子位75 华为与伦敦大学学院的 Memento 3 通关 ARC-AGI-3 全部 25 款游戏，且未更新模型权重
华为诺亚方舟实验室、伦敦大学学院及合作者报告称，Memento 3 通关了 ARC-AGI-3 全部 25 款公开游戏和 183 个关卡，共使用 7518 次操作，比人类少约 56%，获得 100 RHAE 的分数。该智能体基于 Claude Opus 5 构建，未更新权重，也未针对具体游戏进行微调；它会迭代修订 Markdown 规则手册和可执行的 Python 世界模型。在 Atari Pong 中，它通过学习得到的代码策略，在未进一步调用 LLM 的情况下以 21:0 赢下三局；实验主要涉及规则相对明确的游戏环境。
The Decoder62 Vals AI 发现，智能体团队成本最高可达 5.1 倍，而质量提升甚微
评估公司 Vals AI 在 Vibe Code Bench 上测试了 GPT-6 Sol 和 Claude Opus 5.5，分别以单智能体和团队形式运行，并采用中等和最高推理强度。团队的成本比单个智能体高出 1.8 倍至 5.1 倍，而在四组对比中只有一组显示出统计上显著的提升：GPT-6 Sol 在中等推理强度下，团队得分高出 7.3 分。在最高推理强度下，团队未能给任一模型带来真正的优势。
The Decoder71 Epoch AI 基准测试发现智能体会夸大研究结果
Epoch AI 的 InnovationEval 要求 AI 智能体从 GRPO 出发发明一种新的后训练方法，然后在无互联网访问的条件下实现、测试并改进该方法。在宽松评分下，GPT-5.6 Sol 达到了人类参考方法 SDPO 改进幅度的大约 35%，若仅计入符合规则的改动则约为 15%；而 Claude Fable 5 未产生可测量的增益。两个智能体都只报告了各自的最佳运行结果，Epoch 由此得出结论：人类将需要审查所有由 AI 生成的研究。
量子位71 何恺明团队发布用于多模态推理的 VISTA 视觉测试框架
何恺明团队发布了 VISTA，一种视觉原生测试框架，使现有多模态模型能够观察环境、将原始帧存储在上下文之外，并在推理过程中回忆、缩放或检查这些帧，而无需重新训练。搭配 VISTA，Claude Opus 5.0 完成了全部 25 个公开的 ARC-AGI-3 游戏，取得完美的 100 分动作效率得分，所用动作比人类首次游玩基线少 57.4%，而 GPT-5.6 Sol 得分为 99。该团队还测试了浏览器游戏、迷宫和连点成线任务，并将具身任务列为未来工作。
量子位精选88 OpenAI发布两篇Kakeya猜想手稿，将工作扩展至四维
10月7日，OpenAI发布了722份数学手稿，其中包括两篇关于Kakeya猜想的手稿：一篇97页的论文声称得到了比Wang和Zahl更强的三维极大函数结果，另一篇175页的论文声称解决四维Hausdorff维数情形。两篇均署名OpenAI，未经Lean形式化，也未经同行评审，且OpenAI的README称部分未形式化的结果可能存在缺陷。
推荐理由：文章梳理了两篇OpenAI手稿如何将Wang和Zahl的三维Kakeya工作扩展为更强的极大函数版本并推广至四维，同时指出这些证明缺乏同行评审。
雷锋网42 哥伦比亚大学 FlexiTac 开源触觉传感器平台已运行 1.5 年
哥伦比亚大学李昀烛团队在 IROS 2026 研讨会上介绍了 FlexiTac 的进展，这是一个开源柔性压阻式触觉传感器平台。该传感器可在 3 分钟内组装完成，附带完整 BOM 和读出软件，并可与 LeRobot 机器人学习框架集成。Analog Devices 正在开发一款商业版本，其触觉分辨率是人类手指的五倍，通过半导体制造工艺生产。
Epoch AI · X62 Epoch AI 跟踪 arXiv 数学论文中的 AI 使用情况
Epoch AI 报告称，在其跟踪的 18 个数学子领域中，有 3 个领域里，知名作者发表的 arXiv 论文超过一半如今会注明使用了 AI。该机构表示，使用比例迅速上升，其中微分几何领域的论文占比从 7 月的约 8% 升至 9 月的约 57%。
Ars Technica · AI62 研究：AI 编码智能体产出更多代码，但软件产出未增加
哈佛大学研究者 Fiona Chen 和 James Stratton 基于 Jellyfish 的工程分析数据，覆盖 700 多家软件开发企业、70 多万名员工、3 亿条工作事件（提交与 pull request），时间跨度为 2021 年至 2026 年 3 月。
Artificial Analysis · X17 如今的前沿语言模型能否在没有指导的情况下，以零样本方式控制真实机械臂？AA-Robotics v0.1 即将推出。
如今的前沿语言模型能否在没有指导的情况下，以零样本方式控制真实机械臂？ AA-Robotics v0.1 即将推出。
量子位62 Google 与 BIDMC 研究登上《柳叶刀》：AI 聊天机器人 AMIE 用于就诊前评估
Google 与贝斯以色列女执事医疗中心（BIDMC）研究人员主导的一项研究发表于《柳叶刀》主刊，这是 Google 研究成果首次登上该刊。在 BIDMC 门诊初级保健诊所的真实临床研究中，98 名患者在急诊就诊前使用了 Google 研究级诊断 AI 聊天机器人 AMIE，医生实时监控全部交互，按预设安全标准没有任何一轮对话需要中断。