5.0
关注
AI SCORE
行业动态2025-10-29 22:31
谷歌推进 AI 数学研究计划
Google DeepMind#Google#研究
Editor brief · 编辑速览
DeepMind 与研究机构合作探索 AI 在数学发现中的应用，主要是学术导向，间接相关。
DeepMind 与研究机构合作探索 AI 在数学发现中的应用，主要是学术导向，间接相关。
这项倡议汇聚了世界上一些最负盛名的研究机构，以开创 AI 在数学研究中的应用。
VP，Google DeepMind 科学与战略计划
高级总监，Google DeepMind 生成式 AI 战略
Google DeepMind 和 Google 正在推出 AI for Math Initiative，以探索 AI 如何能加速数学研究。五家著名研究机构将与 Google DeepMind 合作，他们将识别适合 AI 驱动洞察的数学问题，并利用 Google DeepMind 的技术构建推动进展的工具。
"AI for Math Initiative" 使用 AI 帮助数学家更快速地进行发现。
Google DeepMind 和 Google 以资金和 AI 技术支持该倡议。
五所顶级研究机构将探索 AI 如何解决困难的数学问题。
Gemini Deep Think 和 AlphaEvolve 等 AI 系统已经展现了前景。
AI 和数学专家携手合作可能会导致科学的重大突破。
Google 想利用计算机来帮助聪明人解决极其困难的数学问题。他们向大学提供资金和工具，以便他们能够共同协作。计算机可以发现新的数学方法并更快地解决问题。Google 希望这将帮助每个人学到关于世界的新知识。
数学是宇宙的基础语言，提供了描述从物理定律到生物学复杂性，以及计算机科学逻辑的工具。几个世纪以来，它的前沿一直由人类的聪慧独自推进。在 Google DeepMind，我们相信 AI 可以成为与数学家协作的强大工具，增强创意并加速发现。
今天，我们推出 AI for Math Initiative，由 Google DeepMind 和 Google.org 支持。它汇聚了世界上五所最负盛名的研究机构，以开创 AI 在数学研究中的应用。
首批合作机构为：
该倡议的合作伙伴将致力于共同目标：识别适合 AI 驱动洞察的下一代数学问题，构建支撑这些进展的基础设施和工具，最终加快发现的步伐。
Google 的支持包括来自 Google.org 的资金，以及 Google DeepMind 最先进技术的使用权，例如称为 Gemini Deep Think 的增强推理模式、我们的算法发现代理 AlphaEvolve，以及我们的形式化证明完成系统 AlphaProof。该倡议将在基础研究和应用 AI 之间建立强大的反馈循环，为更深层次的合作打开大门。
AI for Math Initiative 适逢 AI 推理能力取得显著进展的时刻；我们自己的工作在最近几个月取得了快速进步。
2024 年，我们的 AlphaGeometry 和 AlphaProof 系统在国际数学奥林匹克（IMO）上达到了银牌标准。最近，我们最新的 Gemini 模型配备 Deep Think，在今年的 IMO 上达到了金牌级别的表现，完美地解决了六道题中的五道，获得 35 分。
我们还在另一种方法 AlphaEvolve 上取得了进一步进展，它被应用于数学分析、几何、组合数学和数论中的 50 多个开放问题，并改进了其中 20% 的既知最佳解。在数学和算法发现方面，它发明了一种新的、更高效的矩阵乘法方法——计算中的核心操作。对于乘以 4x4 矩阵的具体问题，AlphaEvolve 发现了一个仅使用 48 个标量乘法的算法，打破了 Strassen 算法在 1969 年创造的 50 年纪录。在计算机科学方面，它帮助研究人员发现了新的数学结构，表明某些复杂问题对计算机来说比我们之前认知的更困难。这给了我们对计算极限更清晰、更精确的理解，将有助于指导未来的研究。
这种快速进展证明了 AI 模型快速发展的能力。我们希望这项新倡议能探索 AI 如何加快数学研究中的发现，以及如何解决更困难的问题。
我们才刚开始理解 AI 能做什么，以及它如何帮助我们思考科学中最深层的问题。通过结合世界领先的数学家的深刻直觉和 AI 的新颖能力，我们相信能够开辟新的研究途径，推进人类知识，在各个科学学科中实现新的突破。