Google DeepMind 与剑桥发表论文,展示一个基于 Gemini 的 AI 智能体能够自主发现新数学。该智能体为 11 台此前没有分析记录的 Busy Beaver 图灵机找到并给出精确规则。据论文描述,智能体先在模拟器中测试边界情况、起草非形式化证明,再在 Lean 证明检查器中完成证明,相关规则均通过 Lean 验证。论文称这体现了 AI 从回答人类提出的数学问题走向开放式发现。目前该工作以论文形式呈现,尚无后续进展报道。
匹配字段标题
Google DeepMind 团队让四个运行在 Gemini 4 Argon 上的 AI 智能体在随机生成的世界中自主通关 Minecraft,击杀末影龙,全程无人类输入。团队没有为它们分配角色、策略或游戏专用工具,四个智能体自行分工、互相预警威胁、回收阵亡队友的物品,并把错误记录在共享记忆中。整轮运行耗时 27 小时 14 分钟,共编写 2783 个 JavaScript 程序、交换 229 条聊天消息、死亡 605 次,按 2027 年生效的 Gemini 4 Argon 标准价格计算花费 1620 美元。
匹配字段标题
Google DeepMind 与剑桥发表论文,展示一个基于 Gemini 的 AI 智能体能够自主发现新数学。该智能体为 11 台此前没有分析记录的 Busy Beaver 图灵机找到并给出精确规则。据论文描述,智能体先在模拟器中测试边界情况、起草非形式化证明,再在 Lean 证明检查器中完成证明,相关规则均通过 Lean 验证。论文称这体现了 AI 从回答人类提出的数学问题走向开放式发现。目前该工作以论文形式呈现,尚无后续进展报道。
匹配字段标题
Google DeepMind 发表论文,发现自进化智能体在学习新任务时会遗忘旧任务。该团队在话题、工作流或领域不断变化的任务流上测试了 ReasoningBank、GEPA 和 Meta-Harness。结果显示,GEPA 学得最多,平均每块提升 6.2 分,但在其他任务上损失也最大,为 4.3 分;它学会向用户追问缺失信息后,后续任务块改写了这条规则,15.5 分的增益降至 2.5 分。作者建议,若智能体会自行修改提示词或记忆,应把任务专属规则分开存放,并在每次更新后重测旧任务。目前该发现来自单一来源报道,尚无后续进展。
匹配字段标题
Google DeepMind 发表论文 自进化智能体在学习新任务时会遗忘旧任务
English translation is being prepared.
匹配字段标题
Google DeepMind 的论文登上 10 月 8 日的《Science》。据 36氪 · AI 报道,其自动数学证明系统 AlphaProof Nexus 在 353 道悬而未决的 Erdős 问题中自主解出 9 道,其中两道自 1970 年悬置至今。该系统由 Gemini 3.1 Pro 用 Lean 起草证明,编译器逐行校验并反馈迭代,每道题推理开销为几百美元。论文的消融结果显示,去掉子代理锦标赛等复杂结构、只保留大模型加 Lean 反馈的简版系统同样能解出这 9 道题,只是最难的几道更烧钱。目前尚无后续发展事实。
匹配字段标题
2026年10月15日,Google DeepMind 展示其智能体开发平台 Google Antigravity 如何加速抗菌肽(AMP)的发现。据官方介绍,该平台把原本分散在多个数据库的检索压缩到一次会话中,并借助 ProtNLM 模型扫描 UniProt 中数百万条未表征蛋白质。文中展示生物学家用该平台找到一个对呼吸道感染病原体有预测活性的新型抗菌肽候选物,该候选物目前正在进行湿实验验证。Antigravity 还内置 Biomolecular Structure Viewer,可在同一工作区内查看 AlphaFold 预测结构并与智能体共享 3D 视觉状态。后续报道称,该平台已发现一种新型抗菌肽候选分子,预测其对呼吸道感染病原体具有活性,目前正进行湿实验室验证。
匹配字段标题
Google DeepMind 登上 《Science》
English translation is being prepared.
匹配字段标题
Google DeepMind 展示 用 Google Antigravity 发现新型抗菌肽候选
English translation is being prepared.
匹配字段标题
哲学家 Henry Shevlin 加入 Google DeepMind,职称为“Philosopher”。据 IEEE Spectrum 报道,他于去年 5 月加入该公司,并将 80% 的时间投入 Google DeepMind,同时仍在剑桥大学 Leverhulme 未来智能研究中心任职。他在受访时表示,AI 发展速度太快,学术界反应迟缓,与 LLM 的日常接触是形成良好直觉的必要条件;他还指出,抑制模型自我归因心理状态会连带降低其对动物福利的关注,因此不宜只改动模型的单一维度。目前尚无进一步有证据支持的发展。
匹配字段标题
Henry Shevlin 加入 Google DeepMind
English translation is being prepared.
匹配字段标题
2026年10月14日,Google DeepMind 与 Google Cloud 宣布向欧洲研究者提供前沿模型和算力。据 Google Blog 同日发布的信息,该计划将向最多 200 名欧洲顶尖科研人员提供前沿模型的直接访问权限,以及 300 万美元算力额度。研究人员可使用 AlphaFold 3、WeatherNext、AlphaGenome、AlphaEvolve 和 AlphaEarth Foundations 等科学工具,并通过欧盟 RAISE 计划获取这些资源,以缓解欧洲科学家面临的算力缺口。目前尚无后续发展事实。
匹配字段标题
Google DeepMind and Google Cloud 提供 up to 200 top European scientific researchers with direct access to our frontier models, together with $3 million in compute credits
English translation is being prepared.
匹配字段标题
2026年10月14日,Google DeepMind与新加坡政府科技局(GovTech)合作交付一款端侧诈骗检测模型,该成果在新加坡国际网络周(SICW 2026)上展示。据Google DeepMind介绍,模型基于轻量级Gemma微调,可在普通智能手机上本地运行,采用两级流水线:先用轻量分类器筛查消息,再用微调后的Gemma分析更大范围对话上下文,检测到操纵性对话模式时在设备上实时提醒用户。训练在GovTech管理的GCP环境中完成,数据经匿名化处理,不含私人或可识别个人信息。目前尚无后续发展事实。
匹配字段标题
Google DeepMind and the Government Technology Agency of Singapore (GovTech) 交付 on-device scam detection model
English translation is being prepared.
匹配字段标题
DeepMind开发并测试了名为AlphaProof Nexus的AI框架,相关成果于2026年10月12日公开。该框架能自主搜索数学证明,并借助Lean证明助手验证推理过程。在353个以数学家保罗·厄多斯命名的开放问题中,该系统解决了9个,其中两个已悬而未决超过50年;它还解决了《整数数列在线百科全书》492个开放猜想中的44个。团队发现,最基础版本的智能体同样解决了这9个厄多斯问题,只是处理较难问题需要更多计算资源,该版本主要依靠商业化大型语言模型和Lean证明助手。另有报道称,该系统还解决了代数几何中的一个开放问题,并改进了min-max优化中的一个已知界;其基于Gemini 3.1 Pro,用Lean起草和修订证明,遇到更难子问题时还可调用专用证明工具AlphaProof,但即使不调用也能解决那9个厄多斯问题。该研究发表在《科学》杂志并经过同行评审。
匹配字段标题
DeepMind 开发并测试 AlphaProof Nexus AI框架
English translation is being prepared.
匹配字段标题
英国 AI Security Institute 启动 与Google DeepMind的研究合作
English translation is being prepared.
匹配字段标题
英国 AI Security Institute 于2026年10月11日宣布,与 Google DeepMind 启动新的研究合作。该机构表示,双方在两年既有前沿模型测试合作基础上签署研究 MOU,开展数据与想法共享、联合发表及团队专项协作。首批联合研究方向包括监测思维链以推进对齐、研究社会情感对齐,以及考察 AI 对经济活动的影响。目前尚无后续发展事实。
匹配字段标题
2026年10月6日,Google DeepMind发布开放权重多模态嵌入模型EmbeddingGemma 2,可将文本、图像、视频帧和音频映射到统一向量空间,参数量740M。据Google Developers Blog介绍,文本权重在Google Pixel 11 Pro上仅需约191MB活跃内存,完整多模态模型约567MB,无需训练数据或微调即可作为端侧决策引擎,实现毫秒级零样本意图路由;Google AI Edge Gallery新增Instant Media Search和Video Moments Finder演示,未来数周内该模型将通过ML Kit以服务形式登陆Android并支持NPU加速。据Google DeepMind介绍,该模型采用Apache 2.0许可,在MTEB Code上从68.76提升到78.68,支持8K token上下文窗口,权重已在Hugging Face和Kaggle开放下载。10月6日,Georgi Gerganov宣布llama.cpp对EmbeddingGemma 2提供Day-0支持;10月7日,Simon Willison表示赞赏其采用
匹配字段标题