研究论文、技术报告、基准与数据集
Google DeepMind、Google Research、WRI 和 IIASA 发布了 2020 年森林类型图（ForTy），这是一幅全球 10 米分辨率地图，将土地划分为六种森林和土地利用类别；同时还发布了涵盖 2017 至 2025 年的初步时间序列数据。在 9,000 多个地点进行的验证显示，森林类型识别准确率为 90%，区分森林与非森林土地的准确率为 95%。这些数据集采用开放许可，可在 Google Earth Engine 上免费获取，并展示了自然森林转变为种植园或农田等变化。
区分森林类型有助于揭示树冠覆盖地图可能遗漏的土地转变：被砍伐的天然林可能变成绿色种植园，从而为评估森林砍伐和退化提供更具体的依据。
Dharma AI 介绍了 VocabX，这是一种按成本加权的词汇适配方法。在基于 Qwen3-4B 构建的葡萄牙语作文评分器中，该方法将实测推理成本降低了 77.0%。使用相同的基础模型、数据和训练方案时，平均回复长度从 350 个 token 缩短到 101 个，基准测试得分则从 0.703 提高到 0.810。这些结果来自一篇仍在评审中的论文，发表前可能会有所变化。
评分器实验说明了为什么词汇压缩应保留影响决策的 token：将评分与周围的 JSON 内容分离后，实测成本节省和评估质量均有所提升。
Google Research 报告了一项发表于《JAMA Network Open》的前瞻性研究，评估 AI 根据由新手操作员在芝加哥和内罗毕进行的盲扫超声检查来判断孕龄的效果。在 385 名孕期 16 至 36 周的参与者中，该模型的平均绝对误差为 4.18 天，专家超声医师为 4.48 天，达到了研究设定的非劣效标准。微调使用了芝加哥 120 名参与者的数据，未使用内罗毕的数据进行本地优化。
在两个临床环境和不熟悉的超声设备上进行测试，为模型能否推广到训练队列之外提供了证据；这也是扩大产前筛查覆盖面的实际考量。
微软研究院的 Xinzhi Zhang 与合作者 Zhao Song 报告称，他们证明了这个提出 31 年的 KLS 猜想，为对数凹分布建立了一个与维度无关的普适界。研究人员指导 AI 智能体探索了 100 多种候选方法，随后开发出递归改进方法，完成了证明。文中介绍了独立完成的证明，以及之后结合他们的关键判据与其他研究成果进行的 Lean 4 形式化工作。
这篇报道提出了一种可迁移的研究方法：通过人类反复筛选 AI 的搜索轨迹，并将其与使用大致相同总 token 预算、但缺乏引导且未能成功的尝试进行对比。
OpenAI 与 PerturbAI 和斯克里普斯研究所合作，使用数千个 GPT-Rosalind 智能体分析了一份全脑 CRISPR 图谱，并在 32 分钟内完成了工作。每个智能体负责检查一种基因扰动并检索科学文献；团队估计，人工分析需要数月到一年的时间。在盲测比较中，人类专家有 75% 的时间更喜欢分布式智能体的报告，而非单个智能体的报告。由此生成的 Reasoning Atlas 已在 GitHub 上发布，并附有一篇 bioRxiv 论文。
据报告，专家更偏好分布式智能体而非单个智能体，这为比较智能体的组织方式如何影响生物学分析报告的实用性提供了一个具体案例。
Anthropic 的 Claude 针对来自四种蝎子的五种毒素，生成了 318,484 种蛋白质结合剂设计，并在研究人员提供进一步指示前自主工作了 24 小时。在实验室测试的 211 种设计中，有 17 种符合结合标准，且两个独立实验室确认了结果。结合力最强的两种结合剂紧密附着在 Cn2 上，位置靠近一种已知中和抗体的结合位点，但它们作为抗蛇毒血清的有效性尚未经过测试。
这项研究说明了设计出能与毒素结合的蛋白质，与证实其具有抗蛇毒活性之间的区别；实验室结合结果为理解这一差距提供了具体依据。
Ai2推出了FairStress，这是一项基准测试，依据以平等为中心的公平性定义，检验LLM在决策稳定性、解释和内部激活方面的群体差异。其300个场景扩展为超过1300万个测试用例，其中FairStress-Core子集包含5万个项目。在15个模型中，放弃正确答案的差距在身份暗示下平均为6.9个百分点，在明确标注身份时平均为9.3个百分点，倾向于被编码为少数群体的候选者。在三个经过测试的模型系列中，反事实思维链降低了稳健性差距，同时基本保持准确率，但并未消除所有不对称性。
与BBQ的比较表明，问题措辞和答案评分方式会改变测得的群体偏见方向，因此评估设计会影响对公平性结果的解读。
IBM Research 报告称，ALTK-Evolve 会从智能体的训练尝试中提取行为准则，并将其附加到提示中，从而提升客户服务表现，无需更新权重或人工标注。在留出的 τ²-bench 零售任务中，GPT-4.1 的 Pass^4 从 57.5% 提高到 67.5%；较小的准则集对航空任务的可靠性提升最大。其完整基础划分的零售成绩也超过了 2026 年 10 月 12 日排行榜快照中的所有参赛结果。准则增加了输入 token 成本，同时在匹配的成功运行中略微减少了对话轮数。
这些实验提供了一种可迁移的方法，通过学习得到的提示准则提升智能体可靠性，同时表明准则数量与输入 token 成本之间需要根据领域权衡。
AI at Meta@AIatMeta精选67这份报告将架构、蒸馏和量化方面的选择与在消费级硬件上运行智能体模型联系起来，为其所述的部署要求提供技术背景。
Google 研究人员推出并开源了 Harness²。这套系统可在执行期间修改智能体执行框架代码、系统提示、工具和技能。它将任务级提案、探测和组合与持久化的改进经验库结合起来，并支持 OpenCode 和 Codex。报告中的 WorkBuddy-Bench 结果显示，GLM-5 使用 OpenCode 经过一次改进后，得分从 64.2 提升至 75.7，超过未经修改的 Gemini 3.5 Flash 得分 72.4。
报告中的对比显示，在同一基准测试中，执行框架的变化会改变模型排名，因此评估智能体性能时，执行环境设置是一个影响重大的变量。
据 Anthropic 称，其内部 Claude 研究模型在不到半小时内重建了五个 NIST 椭圆曲线种子的生成过程，并由赏金活动组织者 Filippo Valsorda 独立验证。Claude 发现了与 lrand48 一致的模式，使用 LLL 格约化恢复生成器状态，并将初始化值追溯至 1997 年 5 月至 1998 年 4 月之间的 Unix 时间戳。一些被跳过的候选曲线、B-163 种子以及某些曲线基点仍未得到解释。
这份叙述展示了如何通过检验数值模式，使调查方向从受历史回忆影响的路径转向别处；可复现的生成器输出则为重建这些种子的来源提供了具体依据。
Google Research 介绍了三个将 AI 智能体与湿实验相结合的项目：VERD 实验室自动化、闭环适配体发现，以及从头设计蛋白质结合体。经过三轮实验，适配体对肌红蛋白和 α-凝血酶的靶向命中率分别达到 33.5% 和 42.1%；蛋白质设计流程将计算周期加快了八倍以上，并获得了亲和力达到个位数纳摩尔级的结合体。整合这些项目仍是下一步工作，相关保障措施包括序列筛查、机器人执行前进行模拟，以及取得人工授权并由人工监督。
适配体实验展示了实验反馈如何揭示具有误导性的优化目标，为自动化发现流程提供了一种可迁移的方法，用于区分真正的生物学改进与实验伪象。
Google DeepMind@GoogleDeepMind精选72Four Gemini 4 Argon agents, one shared Minecraft world, one goal: defeat the Ender Dragon. 27 hours and 2,783 self-written programs later, the dragon fell. https://t.co/Cx7Djg1VTx
这份报告提供了一个具体案例，展示了智能体如何通过代码、聊天、共享笔记和协作调试，在一项持续 27 小时的任务中进行协调。
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 检查。
这种工作流程为研究数学提供了一种可迁移的方法：将专家指导与模型递归探索结合起来，并围绕由可检查证明任务构成的依赖图组织形式化验证。
Ai2 推出了 HiRO-ACEv2，这是一款升级版气候模拟器，可生成全球 3 公里分辨率的降雨、风和气压数据，成本约为 X-SHiELD 的 1/300。输入经过降尺度处理的 X-SHiELD 数据后，其 HiROv2 降尺度模型生成的高分辨率统计数据与参考值相差不超过 3%，即使对于每百万个数据点中仅出现一次的事件也是如此。目前，该系统只能与经过调校以匹配 X-SHiELD 的 ACE 配合使用，尚不能为其他气候生成高分辨率数据；可下载的模型、教程笔记本和网页演示现已开放。
与 X-SHiELD 的比较为研究人员提供了极端天气模拟的具体成本和准确度参照，但目前适用范围仅限于训练数据所代表的气候。
宝玉@dotey精选76
Excited to share a research blog post that Daniel Freeman (@bucketofkets) and I have been working on for the past few months: https://www.anthropic.com/research/self-replicating-ai
实验设置有助于区分简化条件下的成功复制与在消费级设备上的自主扩散，从而厘清对小模型时间预测的局限。
QbitAI 报道称，数学爱好者 nor 使用 GPT-6 Astra 证明了在圆内装填 15、16、17、18 和 20 个单位圆盘时的最优性，从而完成了 N≤20 的剩余情形。该方法结合了几何约束、有限的计算枚举和精确的最优性论证。nor 表示，过程中有大量人工参与，包括引导模型、修复问题、手动验证有效性，以及使用 Astra 和 Opus 5.5 重新检查结果。
据报道，这种证明策略展示了几何约束如何将无限搜索空间缩减为有限情形，并通过刚性论证将计算排除与精确的最优性证明联系起来。
