数学是宇宙的基础语言，提供了描述从物理定律到生物学复杂性以及计算机科学逻辑等万物的工具。几个世纪以来，数学前沿一直仅由人类智慧推动拓展。在 Google DeepMind，我们相信 AI 可以成为与数学家协作的强大工具，增强创造力并加速发现。

今天，我们推出由 Google DeepMind 和 Google.org 支持的 AI for Math Initiative。该计划汇聚全球五家最负盛名的研究机构，率先探索 AI 在数学研究中的应用。

首批合作机构包括：

• 正文：Imperial College London
• 正文：Institute for Advanced Study
• 正文：Institut des Hautes Études Scientifiques (IHES)
• 正文：Simons Institute for the Theory of Computing (UC Berkeley)
• 正文：Tata Institute of Fundamental Research (TIFR)

该计划的合作伙伴将围绕共同目标开展工作：识别下一代适合由 AI 驱动洞察的数学问题，构建推动这些进展所需的基础设施和工具，并最终加快发现步伐。

Google 的支持包括来自 Google.org 的资金，以及使用 Google DeepMind 最先进技术的权限，例如名为 Gemini Deep Think 的增强推理模式、我们的算法发现智能体 AlphaEvolve，以及我们的形式化证明补全系统 AlphaProof。该计划将在基础研究与应用 AI 之间形成强大的反馈循环，为更深入的合作打开大门。

AI 与数学的关键时刻

AI for Math Initiative 启动之际，AI 推理能力正取得显著进展；我们自己的工作在近几个月也实现了快速发展。

2024 年，我们的 AlphaGeometry 和 AlphaProof 系统在国际数学奥林匹克竞赛（IMO）中达到了银牌水准。更近一些，配备 Deep Think 的最新 Gemini 模型在今年的 IMO 中达到了金牌水平，完美解答了六道题中的五道，得分 35 分。

我们还看到另一种方法 AlphaEvolve 取得进一步进展。它被应用于数学分析、几何、组合数学和数论中的 50 多个开放问题，并在其中 20% 的问题上改进了此前已知的最佳解。在数学和算法发现领域，它发明了一种新的、更高效的矩阵乘法方法——这是计算中的核心运算。针对 4x4 矩阵相乘这一具体问题，AlphaEvolve 发现了一种仅使用 48 次标量乘法的算法，打破了 Strassen 算法在 1969 年创下、保持 50 年的纪录。在计算机科学领域，它帮助研究人员发现了新的数学结构，表明某些复杂问题对计算机而言比我们此前所知更难解决。这让我们对计算极限有了更清晰、更精确的理解，并将有助于指导未来研究。

这种快速进展证明了 AI 模型能力正在迅速演进。我们希望这项新计划能够探索 AI 如何加速数学研究中的发现，并应对更困难的问题。

我们才刚刚开始理解 AI 能做的一切，以及它如何帮助我们思考科学中最深层的问题。通过将世界顶尖数学家的深刻直觉与 AI 的新能力相结合，我们相信可以开辟新的研究路径，推进人类知识，并走向各个科学学科的新突破。