上海AI实验室书生-S2 助力三维 Ghys 猜想证明并通过 Lean 形式化验证
上海AI实验室访问学者许地生团队依托书生科学多模态大模型 S2，通过人机协同完成三维 Ghys 猜想证明，相关论文已发布在 arXiv，形式化代码在 GitHub 公开。
推荐理由：读者可了解书生-S2 在三维 Ghys 猜想证明中的人机协同流程，以及 Lean 形式化验证的并行规模。
#数据/训练
雷峰网精选AI 评分8888 Google Research精选AI 评分6262 Google 发布地理空间推理智能体技术报告并开放早期访问
Google 发布地理空间推理智能体的技术报告，在四个基准上对比四种配置，并新开源 GeoKTools 和 GeoExpertQueries 两个基准的开发集。
推荐理由：技术报告给出四套基准与四种配置对比，量化了专用工具和前置规划对地理空间推理的提升。
Google Research精选AI 评分7272 Google 发布基于 TEE 的联邦学习系统，Gboard 已采用
Google Research 发布新一代联邦学习系统，利用 Trusted Execution Environments（TEE）为数据匿名化提供可远程验证和审计的保证，Gboard 已采用该系统。
推荐理由：Google 公布基于 TEE 的联邦学习系统设计，并给出 Gboard 的落地进展与训练提速情况。
Google DeepMind精选AI 评分7373 Google DeepMind 推出 SynthID Bio，为 AI 生成蛋白质加水印
Google DeepMind 发布 SynthID Bio，将水印技术引入合成生物学，把不可感知的签名嵌入生物代码，使其在数字模型和合成出的实体蛋白质上均可验证。
推荐理由：Google DeepMind 把水印从数字内容延伸到合成生物，读者可了解其方法与对 DNA 合成筛查的意义。
Anthropic Research精选AI 评分7373 Anthropic 研究：机器人如今能完成 34% 工作小时的体力任务，但仅 0.3% 具成本优势
Anthropic 发布机器人暴露指数研究，用 Claude 给 O*NET 的 7,594 项体力任务按工作环境受控程度分 E0 到 E3 四级评级，发现机器人今天可在某类场景完成四分之三的体力任务，占美国全部工作时间的 34%。
推荐理由：Anthropic 用 Claude 按环境受控程度给 7,594 项体力任务评级，量化了机器人替代的边界与成本约束。
Microsoft Research精选AI 评分6060 Microsoft Research 推出面向生物学复杂性的 AI 研究系统 Quine
Microsoft Research 发布 Quine，一个面向生物学复杂性的 AI 研究系统，包含跨序列、结构、功能、细胞状态和成像等模态联合训练的生物世界模型，以及连接模型、科学工具、文献与研究者的交互 harness。
推荐理由：微软研究院公开 Quine 的多模态世界模型设计，并给出胰腺癌化合物筛选的湿实验验证案例，可了解 AI 参与生物实验设计的当前路径。
Anthropic News精选AI 评分7676 Anthropic 用 Claude 发现类 CRISPR 的新型酶系统 ART
Anthropic 宣布成立生命科学研究组与实验室，并公布早期成果：Claude 智能体在约 950 个智能体、消耗 2.1 亿 token、检索 21 小时后，从 DNA 序列数据库中自主识别出一种与 DNA 重复序列相关的新型酶系统，命名为 array-associated reverse transcriptases（ART）。
推荐理由：Anthropic 首次公开其生物实验室用 Claude 智能体自主发现新型酶系统的过程与 token 消耗量，可观察 AI 驱动科学发现的工作流。
Google DeepMind精选AI 评分7272 Google DeepMind 发布 AlphaGenome Atlas，预测人类基因组全部 90 亿单字母变异
Google DeepMind 推出 AlphaGenome Atlas，包含人类基因组中全部 90 亿个单核苷酸变异的效应预测，规模约为 AlphaFold Database 的 30 倍，即日起通过免费网站门户、AlphaGenome API 及 Google Antigravity 中的技能开放学术研究使用。
推荐理由：读者可以了解 AlphaGenome Atlas 覆盖 90 亿单核苷酸变异的预测规模，以及 AVI 评分如何同时给出变异排序与分子机制线索。
已经到底了