DeepMind 近日开源了其形式化数学猜想库，这一举措迅速引发了数学界和 AI 领域的广泛关注，并得到了著名数学家陶哲轩的转发支持。该项目旨在为 AI 辅助数学研究提供一个标准化的“习题集”，推动 自动化定理证明 （ATP）技术的发展，并有望加速 ...

谷歌DeepMind团队于5月27日宣布推出SignGemma，这是其迄今为止最强大的手语翻译模型，能够将手语转化为口语文本。该开源模型计划在今年晚些时候加入Gemma模型家族。SignGemma支持多语言功能，但目前主要针对美国手语（ASL）和英语 ...

谷歌DeepMind团队近期在人工智能领域取得了新的突破，于5月27日正式揭晓了其最新研发的手语翻译模型——SignGemma。这一创新成果标志着DeepMind在手语翻译技术上迈出了重要一步，旨在消除手语使用者在沟通交流上的障碍。

陶哲轩曾用Lean形式化证明了PFR猜想（多项式Freiman-Ruzsa猜想），这项成就的第一步就是将猜想的核心概念转化为计算机可验证的形式化版本。

（伦敦3日讯）美国科技巨擘谷歌（Google）旗下的人工智能（AI）公司DeepMind的首席执行员、人工智能（AI）先驱哈萨比斯表示，尽管当前人工智能监管亟需加强国际合作，但“在当今地缘政治背景下，实现起来困难重重”。法新社报导，在人工智能逐渐融入各行各业的当下，其使用引发了一系列重大伦理 ...

本播客由扣子空间（coze.cn）一键生成作者丨 Nick McGreivy译者丨明知山、华卫策划丨华卫编者按：近日，一位专注于物理领域的科学家 Nick McGreivy 分享了其应用 AI 来做研究的真实经历，主题是“我被 AI for ...

在人工智能和机器学习领域迅猛发展的今天，一项由Google DeepMind团队完成的突破性研究引起了安全专家的高度关注。这项题为《架构后门：批处理数据窃取与模型推理操控》的研究由Nicolas Küchler（ETH苏黎世和Google ...

为了解决这个「AI版罗生门」，宾夕法尼亚州立大学与杜克大学联合Google DeepMind等机构的研究者们首次提出了： 自动化失败归因（Automated Failure Attribution）——让AI自己举手：我错了！

IT之家 5 月 31 日消息，谷歌 DeepMind 团队于 5 月 27 日宣布推出 SignGemma，是其迄今为止最强大的手语翻译模型， 可将手语转化为口语文本 ，该开源模型将于今年晚些时候加入 Gemma 模型家族。

对此，西北大学与Google、谷歌DeepMind团队质疑了传统强化学习与反思的关系，并提出了贝叶斯自适应的强化学习方法， 首次解释了为什么、如何、以及何时应该反思并探索新策略 。 通过对比分别使用传统强化学习和新方法训练的模型，研究人员发现： ...

谷歌 DeepMind 发表论文，正式发布其 AI 编程代理 AlphaEvolve。该代理利用大语言模型在硬件设计、数据中心运营和 AI 训练等多个领域实现算法发现与优化。 AlphaEvolve 采用多模型协同架构（包括 Gemini Flash ...

近日，Hume ...