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

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

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

markdown 谷歌DeepMind于2025年5月27日正式发布SignGemma，一款全球领先的开源手语翻译AI模型。这一举措标志着 AI在无障碍沟通领域 的重大突破，有望彻底改变听障人士的交流方式。SignGemma的发布，也预示着 ...

在谷歌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？ 今天，谷歌终于放大招了！ CEO劈柴正式 ...

谷歌DeepMind的研究团队通过人工智能工具“材料探索图形网络（以下简称GNoME）”发现了多达220万种理论上稳定，但绝大部分在实验上尚未实现的 ...

在公司朝着AI大步迈进的过程中，谷歌DeepMind团队功不可没，而谷歌DeepMind的CEO哈萨比斯更是其中的大功臣。 哈萨比斯是被广泛认可的天才，他不仅是 ...