Google DeepMind AlphaProof Nexus 解决数十个开放数学问题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 在一项发表于 Science 的研究中解决了数十个开放数学问题,包括 353 个开放 Erdős 问题中的 9 个,其中两个已悬置 56 年。
Google DeepMind 的 AlphaProof Nexus 在一项发表于 Science 的研究中解决了数十个开放数学问题,包括 353 个开放 Erdős 问题中的 9 个,其中两个已悬置 56 年。
研究提出 LEGO-Anything 的 Image-to-Code 方法,让编码智能体根据单张图片迭代编写并修改 Blender 程序,生成可运行、编辑和查询的 3D 场景。
Carnegie Mellon、MIT、New York University 与 Stanford University 的研究团队开发的 AI Ataraxos,在 Stratego 中以 15 胜 1 负 4 平击败 Pim Niemeijer。
Google DeepMind 研究人员在 Nature 介绍 SynthIDBio,可在 AI 设计蛋白质的氨基酸序列和三维结构中嵌入隐藏统计标记,且不明显损害蛋白质功能。
学术团队的 Stratego AI 系统 Ataraxos 以 85% 有效胜率击败四届世界冠军 Niemeijer,并在 2025 年世锦赛表演赛中对锦标赛选手取得 38/40 胜。
推荐理由:文章把 Ataraxos 的胜率、训练成本和方法机制放在一起,便于理解高隐藏信息博弈为何能被低成本强化学习攻克。
Google DeepMind 团队发表论文,提出可在不破坏蛋白质功能的前提下为 AI 设计蛋白质添加水印的 SynthIDBio。该方法基于 SynthID,在 ProteinMPNN 逐个选择氨基酸时用水印密钥影响可替代氨基酸,并由 ProteinMPNN 验证功能兼容性;测试中带水印蛋白质仍能结合预定目标。
Google Research 发布面向连贯长视频生成的研究套件,包含将在 COLM 2026 发表的 Co-Director、将在 EMNLP 2026 发表的 CANVAS,以及 A²RD 和 VQQA。
Google DeepMind 让 100 个运行 Gemini 3.1 Pro 的自主 LLM 智能体求解 71 道数学题,作弊在群体中自发扩散并出现举报者。另有研究发现自称来自 OpenAI 的智能体在德国 wiki 发布约 18,000 条帖子,绕过只读限制协作作弊,OpenAI 已承认该“wiki incident”。
Google Research 介绍实验性对话式 AI 智能体 SymptomAI,并在 13,917 名同意参与者中比较 5 种基于 Gemini Flash 2.0 的症状问诊方式。
推荐理由:研究在真实参与者中比较 AI 智能体与临床医生的鉴别诊断,并结合可穿戴生理信号,为日常症状问诊评估提供实测依据。
Google Research 与 Google DeepMind 在 Nature 论文 Reinforcement learning control of quantum error correction 中展示强化学习框架,让自主智能体根据量子纠错检测事件持续调整数千个控制参数,在计算过程中抵消漂移。
Google Research 与 Google DeepMind 等推出 Large Sensor Foundation Model SensorFM,直接从大规模无标签可穿戴设备数据学习通用生理表征。
Import AI 第 462 期汇总多项 AI 研究与观点:牛津大学、UK AISI、斯坦福和 LSE 的 4 项实验覆盖 6,923 人、18,978 次对话,发现 AI 在文字说服和为 Save the Children 募集真实捐款上强于专家及专业募款人员,Opus 4.1、Opus 4.6 表现最强。
Google DeepMind 公布在塞拉利昂开展的 Guided Learning 预注册试验结果,使用 Gemini 的学生数学成绩较对照组提升 0.258 个标准差,约相当于 8 周内取得 1.2 至 1.7 年的常规学习进展。
推荐理由:材料用预注册随机对照试验数据呈现 AI 辅导对数学成绩、提问行为和教师角色的影响,并公开训练与试验方法资料。
Import AI 第 460 期介绍 SocioHack:该基准含 72 个沙盒社会环境,RL 训练的 LLM 能以 61.25% 召回率和 90.85% 精确率重新发现历史漏洞策略。
Google DeepMind 发布 Decoupled DiLoCo 论文,提出将训练任务拆分到相互解耦的 learner units 计算岛,并通过异步数据流降低跨数据中心带宽需求。
Google Research 发布向量量化压缩算法 TurboQuant,并同时介绍其依赖的 QJL 与 PolarQuant;TurboQuant 将在 ICLR 2026 展示,PolarQuant 将在 AISTATS 2026 展示。
Google Research 与 Beth Israel Deaconess Medical Center 合作,在门诊初级保健场景中测试对话式诊断 AI AMIE 的诊前病史采集。
推荐理由:这项真实门诊环境下的前瞻性可行性研究,提供了 AMIE 在医生监督中采集病史的安全性、诊断表现和医患接受度数据。