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

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

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

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

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

目前，这位“数学界的计算机推广大神”已转发此项目，并表示： DeepMind的形式化数学猜想库一经建成，团队就表示所有人都可以将数学猜想添加到 ...

在谷歌I/O大会后，创始人谢尔盖·布林惊喜现身，与Hassabis深入探讨AI的推理能力、规模与算法、测试时计算及多模态智能体的应用前景。布林强调AI时代是计算科学家不应退休的黄金期，AI影响将远超互联网与手机。

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

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

最近，时代杂志邀请Deepmind CEO兼创始人Demis Hassabis发表了他对当下AI发展的看法和担忧，但貌似网友不怎么买账。 DeepMind一直是谷歌的骄傲。 作为 ...

DeepMind与OpenAI，是人工智能的一对镜像。 今年1月，一则裁员消息悄悄发布——谷歌旗下人工智能公司DeepMind将关闭位于加拿大埃德蒙顿市的办事处 ...