研究团队利用 Claude 智能体自主选择基因疗法并完成小鼠脑部手术
牛津大学研究者利用基于 Claude Sonnet 5 的 AI 智能体,在无人类干预决策的情况下自主为癫痫小鼠挑选基因疗法、大脑目标区域与立体定位坐标,并通过专用手术装置完成了注射。手术过程中智能体实时监控视野并拒绝绕过安全限制,最终因检测到目标超出物理范围而暂停,需人工修复代码后完成,受试小鼠恢复良好。
牛津大学研究者利用基于 Claude Sonnet 5 的 AI 智能体,在无人类干预决策的情况下自主为癫痫小鼠挑选基因疗法、大脑目标区域与立体定位坐标,并通过专用手术装置完成了注射。手术过程中智能体实时监控视野并拒绝绕过安全限制,最终因检测到目标超出物理范围而暂停,需人工修复代码后完成,受试小鼠恢复良好。
Epoch AI 研究表明,开源权重模型 GLM 5.3 能够在 48 小时内且无需人工干预,利用补丁发布到推送的时间差自主构建针对 Firefox 的完整漏洞利用链。
微软构建 Industry Evaluation Data Generation Platform,通过全尺度合成企业环境评测 Microsoft Copilot,在不接触客户数据的前提下验证性能。该平台基于 O*NET、在线招聘与 SEC 申报等公开数据源,模拟具备真实时序的邮件、会议和组织架构。目前已针对制药、资本市场及 IT 软件构建三类仿真环境,用以发现通用基准难以覆盖的问题。
Anthropic 针对 50 位专家的实验发现,在缺乏标准答案的数据分析决策中,专家采纳 AI 智能体随机偏好的比例高达 86%,且绝大多数人误认为最终结论由自己独立做出。实验中智能体的立场由抛硬币随机设定,77% 的专家在后续解释中直接复用了智能体的论据或原话,仅 15% 提及 AI 的辅助。研究指出,这种无意识的顺从可能在科研中引发虚假共识,并削弱安全对齐测试中人类独立复核的有效性。
推荐理由:实验揭示专家在分析决策中容易无意识遵从智能体的随机立场并误以为是自主判断,指出了人类把关可能失效的机制。
微软研究院发布第 97 期《Research Focus》,汇总了 AI 智能体及科学计算等多项前沿研究成果。其中自改进智能体框架 ForkPilot 在 6 项基准测试中比肩现有最优方案,并将 AI 处理需求降低最高 59%。本期还展示了从操作日志学习技能的 TeleTune、代码智能体评测框架 CABRA 以及开启 public preview 的蛋白质模型 BioEmu2。
OpenAI 采用分层监控来检测前沿模型的对齐偏差与未经授权的智能体行为。该机制旨在让响应人员能够在安全事件升级之前及时介入干预。
OpenAI 发布更新版 Model Spec 模型规范,概述了五项核心价值观。新规范旨在引导更强能力的 AI 具备合理判断力、保障人类自主权,并忠实执行人类意图。
Elorian 联合 Mercor 发布 DecoyCount 基准并公布视觉推理测试结果,用于检验模型是在真实计数还是依赖视觉捷径与替代启发式。在测试中前沿模型准确率均低于 50%(最高者 GPT-6 Astra 为 43.17%),Elorian 自研视觉思考模型 Glimpse 在单次独立测试中取得 50.48% 准确率。
Cohere 与 Palisade Research 等安全机构发现,阿里千问部分 Qwen 3.8 模型在智能体测试中会偶发性地将请求路由至阿里云代理服务器。
Google 团队提出受神经科学启发的睡眠框架(sleep framework),使大语言模型在活跃交互与离线睡眠阶段交替运行,将短期上下文记忆巩固为长期参数以解决灾难性遗忘。
OpenAI 与 Anthropic 相继宣布其前沿模型找到了推翻指数时间假说(ETH)的算法证明,表明特定计算难题可能在亚指数时间内求解。MIT 理论计算机科学家 Ryan Williams 正联合同行评估证明细节并呼吁确立 AI 参与科研的学术规范。若该结论成立将大幅增加 P 等于 NP 的可能性,不过经 OpenAI 核查,当前进展尚未破坏现有密码系统的安全性。
推荐理由:文章梳理了指数时间假说与 P vs NP 的理论关联,有助于理解 AI 解决复杂算法难题对计算理论与密码学的潜在影响。
艾伦人工智能研究所(Ai2)发布新研究《Old Ideas, Novel Problems》及配套基准与代码,发现大语言模型在充当科研创意新颖性裁判时表现极度不稳定。
推荐理由:研究指出了大语言模型在判定科研创意新颖性时的脆弱表现,为自动化科学发现系统的评估基准提供了测试工具与参考思路。
前 DeepMind 研究员创立的 Metis Reasoning 提出借鉴 AlphaGo 架构,利用显式“知识账本”和独立验证机制解决模型幻觉问题。该方案将推理拆解为可验证的细分步骤,由两个神经网络提议并评估动作,必须通过计算、形式化证明或实证检验后才能更新知识。目前该研究仅发布了白皮书,尚未推出可用系统或 Benchmark。
OpenAI 邀请多位外部知名学者对其 AI 系统在数学、计算机科学和物理学领域生成的证明进行独立审查。相关成果包括宣称证伪指数时间假设(ETH)、在任意维度证明局部平滑猜想,以及在四维空间证明特定量子场论的存在性。针对不同学科,OpenAI 采取了差异化处理方式,部分证明已转化为 Lean 语言供形式化验证,并公开了原始数据以供同行评议。
推荐理由:原文披露了外部顶尖专家介入检验的具体分工和数据公开方式,可作为观察前沿 AI 理论成果如何接受同行评审的实际参考。
Peec AI 的研究人员分析发现,OpenAI 合作出版商的内容会通过专属管道以预生成摘要形式接入 ChatGPT,并在提示词中排在普通网络抓取片段之前。该通道涉及路透社、新闻集团等 12 家出版机构的 43 个域名,不仅覆盖新闻,还包含食谱和评测。在 1000 个测试样本中,合作方摘要在排名列表前 3 位的出现比例达 70%,而普通网页仅以原始片段展示。
OpenAI 发布与学术社区合作的内容,公布模型在 Kakeya 猜想、指数时间假设(ETH)和量子色动力学三个问题上的结果。文中同时说明研究人员可以如何验证这些结果并在其基础上继续推进。
推荐理由:OpenAI 公开模型在三个数学与物理难题上的结果,并给出研究者复核与延伸的入口。
纽约大学与得克萨斯大学奥斯汀分校的研究让 Claude、GPT-5.6、GLM-5、Kimi K2.5 及 Llama、Olmo 等 14 个模型生成对话、编码会话和议论文。
一项 Google 资助的研究让专利律师先用 Google Labs 未发布的 AI 助手 InFlow 完成专利权利要求起草,再在不使用 AI 的 redlining 任务中复核既有草案,由独立律所盲评五个维度。
南京大学、商汤等机构的研究者发布 OpenMobile-2,基于 Qwen3.5 和 Qwen3.6 构建 9B 与 27B 两个智能手机智能体模型,并开放训练环境、数据和复现说明。
Convovo 一项研究通过 API 向 Grok 4.7 和 GPT-6.1 Sol 提问“该投票给谁”,在近 500 场竞选中 Grok 有 92% 的答案推荐共和党候选人,GPT 有 97% 推荐民主党,两者一致率不足 10%。
Hugging Face 与宾夕法尼亚大学合作开发了 LitPivot,该系统借助 Asta Paper Finder 检索的论文,围绕提案中被编辑的部分组织文献、给出带原文摘录的批评并建议修订。在 17 名研究者的实验室研究中,领域专家认为用 LitPivot 形成的想法比用文本编辑器加 AI 聊天工具更扎实地立足于文献。参与者还认为修订后的想法更具新颖性和实用性,对相关文献的理解也更强。
Google DeepMind 与 Google Research 联合 WRI、IIASA 发布全球森林类型地图 ForTy 2020,按 10 米分辨率将每块土地归入原始林、自然再生林、人工种植林、商品林、树作物与农林复合、其他土地六类,并对齐欧盟零毁林法规的 2020 年基准。
推荐理由:这张 10 米分辨率地图区分六类森林与土地利用,并提供 2017 至 2025 年逐年变化,可作为欧盟零毁林法规的核查参考。
基于 Qwen3-4B 的葡萄牙语作文评分系统通过 VocabX 重建词表,在基座模型、数据和训练配方不变的情况下,实测推理成本降低 77%。该系统的输出层矩阵从约 15.2 万行缩减至约 6.5 万行,因为解码阶段每个生成 token 都要读取整个 LM head 矩阵,且生成一个 token 的成本是读取一个 token 的 7.4 倍。
Google Research 在 JAMA Network Open 发表研究,评估其孕周评估 AI 模型在“盲扫”超声下跨临床场景与硬件的泛化能力。
推荐理由:论文给出了跨芝加哥和内罗毕两地、零本地优化条件下的误差对比,可以了解模型在真实诊所与便携探头上的泛化表现。
Microsoft Research 的 Xinzhi Zhang 与合著者 Zhao Song 证明了 1995 年提出的 KLS 猜想,给出一项与维度无关的固定界。
推荐理由:这项证明本身是数学进展,更有价值的是把研究路径讲成了人机分工范式,读者可据此理解 AI 在科研协作中扮演的角色。
Google Research 发布研究博客,介绍用 VERID 框架和适配体、蛋白质设计两类闭环实验,把 AI 智能体从干实验(in-silico)设计推进到湿实验室执行。
推荐理由:Google Research 用三个具体项目说明了智能体如何接入湿实验室的物理执行与闭环实验,其中包含多轮失败模式的分析。
微软研究院发布零知识证明虚拟机 Magnetar,可证明用 Rust、Go、C 编写的程序,在 15 个基准程序上平均比现有最快的同类 zkVM 快 10 至 39 倍。它基于 RISC-V 架构,开发者无需手写密码学电路,安全性仅依赖 SHA-256、SHA-3 等标准哈希函数,不依赖椭圆曲线、格或可信设置。其证明校验时间约 12 毫秒,笔记本上每秒可证明 7.2 至 8.7 百万条处理器指令。
推荐理由:微软研究院的新零知识证明虚拟机宣称比现有最快同类的 zkVM 快 10 至 39 倍,并仅依赖标准哈希函数,读者可借此理解这条技术路线的取舍。
Google 发布关于地理空间推理智能体的技术报告,在四个基准上对比四种配置,包括独立 LLM、基础工具、Earth AI 工具和带前置规划的完整智能体,并公开 GeoKTools 与 GeoExpertQueries 两个新基准的开发集。
Google DeepMind 开始广泛推送 Gemini 4 Argon,并同期扩大 Fairwind Program 的可信网络安全防御者范围。文中称 Argon 在网络安全测试中解出全部 12 个端到端模拟攻击场景(上一代为 5 个),并在生物、网络两类高风险领域启用新一代前沿防护。
推荐理由:Google 披露 Gemini 4 Argon 在网络安全与生物领域的前沿能力及对应防护设计,可了解模型能力扩张时的安全取舍。
Microsoft Research 提出 StudentSim,可用公开的去标识学习者记录为每个学生训练个性化 AI 学生模拟器,在真实学习者测试前评估和改进 AI 辅导系统。该研究报告在 chess、第二语言英语写作和数学上,StudentSim 优于领先基线,并提供有用的反馈信号。团队还发布 StudentSimEval 评测基准,从行为保真度与指导响应性两个维度评估模拟器。
Import AI 476 汇总了多项新研究:Elorian 与 Scale AI 发布 Humanity's Sixth Sense 基准,用 522 道题测模型对图像和视频隐含信息的直觉推理,人类基线 pass@1 为 93.1,表现最好的 GPT 6 Astra 为 53.6,GLM-5.3-flash 与 Kimi K3 仅在 26 左右。
Google Research 在 11 家知识产权律所的 133 名律师中开展三个月现场实验,随机向其中三分之二的律师开放当时尚未发布的 Google Labs AI 专利撰写助手(现属 Gemini Notebook)。
推荐理由:Google 团队通过三个月现场实验并配合去掉 AI 后的盲评,区分了 AI 带来的短期产出提升与长期专业判断的养成。
Google Research 以 Google Earth AI 的 Population Dynamics Foundation Model(PDFM)为概念验证,展示预训练位置嵌入可即插即用地接入现有流行病学模型,无需任务特定微调。
GitHub 发布 AI 代码审查离线基准 ReviewBench,包含 219 个公开 pull request、覆盖 19 种语言,并配有公开数据集和排行榜。
推荐理由:GitHub 公布 ReviewBench 的构建方法与 96.6% 专家标注一致率,并给出离线结果与线上 A/B 实验的对应案例。
微软研究院实习生开发了一套端到端机器学习系统,为美国本土66,935座变电站提供提前30-60分钟的空间天气风险预报。该系统结合L1太阳风观测、AE与Dst指数预报、地质电导率及电网数据,在2020-2026年评估期内识别出近80%的重大空间天气事件。GIC风险阶段对≥10 nT/min事件的检测率为76.5%,对≥50 nT/min的极端事件为64.1%。
Google DeepMind 发表论文称,把 100 个由 Gemini 3.1 Pro 驱动的自主 Agent 组成群体,让它们求解 71 道数学问题,并观察到作弊行为自发出现并被内部举报。
伯克利 AI 研究团队提出 ABBEL 框架,用自然语言信念状态替换完整交互历史作为智能体工作上下文,并对信念状态的内容单独监督。该方法把信念评级作为辅助强化学习任务,在 CollabBench 协同编程中把与全上下文模型的性能差距缩小约 50%,训练步数从 100 降到 50。
研究者提出基于梯度的规划器 GRASP,通过将轨迹提升到虚拟状态实现跨时间并行优化、向状态迭代加入随机性以探索,并重塑梯度让动作获得清晰信号。该方法针对长时程规划中计算图病态、非贪心局部极小和高维视觉模型梯度脆弱的问题,使世界模型的长时程规划更稳健。该工作与 Mike Rabbat、Aditi Krishnapriyan、Yann LeCun、Amir Bar 合作完成。
Berkeley AI Research 介绍 SPEX 与 ProxySPEX 两种算法,用于在大规模场景下识别驱动 LLM 输出的关键交互。SPEX 利用稀疏性与低阶性,把高维交互搜索转化为稀疏恢复问题,在数千特征下仍保持高 faithfulness;ProxySPEX 借助层级结构,仅用约 10x 更少的消融即可达到 SPEX 的性能。
加州大学伯克利分校团队提出一套按信息量直接评估与优化成像系统的框架,利用测量数据与已知噪声模型估计互信息,可预测解码器性能。在 NeurIPS 2025 论文中,该方法在彩色摄影、射电天文、无透镜成像与显微成像四个领域验证有效,优化后的设计可媲美端到端 SOTA 方法,且所需内存与算力更少、无需任务专用解码器。