Google DeepMind 的 AlphaProof Nexus 解出数十个开放数学问题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 在《Science》新论文中独立解出 353 个开放 Erdős 问题中的 9 个，其中两个已悬置 56 年。
推荐理由：论文给出 Gemini 3.1 Pro 在 Lean 中起草并迭代证明的机制，可对照 OpenAI 把证明直接放 GitHub 的做法理解两种验证路径。
#DeepMind
#DeepMind
今日 0 条The Decoder精选AI 评分7878
Hacker News · AI 最新AI 评分5757 SynthIDBio：为 AI 生成的蛋白质序列与结构添加功能保留水印
Nature 论文提出 SynthIDBio 方法族，将高可检测性且保留功能的水印直接嵌入 AI 生成的蛋白质序列与结构。
Ars Technica · AIAI 评分6262 AI 系统 Ataraxos 以 15 胜 1 负 4 平击败史上最强 Stratego 玩家
来自卡内基梅隆、MIT、纽约大学和斯坦福的研究团队开发的 AI 系统 Ataraxos，以 15 胜 1 负 4 平击败被誉为史上最强 Stratego 玩家的 Pim Niemeijer。训练该系统只用了 16 块 GPU 和几千美元。Stratego 因大量隐藏信息长期难倒 AI，此前 DeepMind 也未能造出稳定击败顶尖人类玩家的程序。
Google DeepMind精选AI 评分6767 Google DeepMind 发布 SynthID Bio，为 AI 生成的蛋白质与基因组添加可验证水印
Google DeepMind 发布 SynthID Bio，把水印技术引入合成生物学，可在 AI 生成的蛋白质序列与预测三维结构中嵌入可验证签名，并在实验室测试中保留生物功能。
推荐理由：原文给出序列与结构两类水印的实现方式与湿实验验证结果，读者可据此判断它如何嵌入 DNA 合成筛查与公共数据库审核。
NVIDIA Blog精选AI 评分7070 NVIDIA 与 Google DeepMind 等机构如何用开放科学帮助研究人员应对下一次大流行
NVIDIA 联合 Google DeepMind、EMBL-EBI 等全球研究机构，通过 AlphaFold Database 开放发布超过 2800 种病毒的蛋白复合物预测 3D 结构，供任何科学家免费使用。
推荐理由：数据集覆盖超过 2800 种病毒的蛋白复合物结构并开放了生成管线，可据此判断结构生物学与药物靶点研究的工具链变化。
Google DeepMind精选AI 评分6363 Google DeepMind 衡量 AI 辅助学习在塞拉利昂及更多地区的成效
Google DeepMind 在塞拉利昂完成的预注册试验显示，使用 Guided Learning 的学生数学成绩较对照组提高 +0.258 个标准差，约相当于八周内取得 1.2 至 1.7 年的常规学习进度。
推荐理由：这项预注册试验显示，八周内 AI 辅助学习带来 +0.258 个标准差的数学成绩提升，其脚手架式提问模式为教育场景的 AI 应用提供了可迁移方法。
OpenAI News精选AI 评分7171 OpenAI 与 DeepMind 合作开发从人类偏好中学习的算法
OpenAI 与 DeepMind 安全团队合作开发了一种算法，通过让人类在两种行为之间做出选择来推断人类意图。其目标是为安全 AI 系统移除人工编写目标函数的需求，避免用简单代理替代复杂目标带来的危险行为。
推荐理由：原文介绍了与 DeepMind 安全团队合作的偏好学习算法，读者可据此理解用人类偏好替代手写目标函数这一对齐思路的早期形态。