Google DeepMind 启动 AI for Math 计划，加速数学发现
原标题：Accelerating discovery with the AI for Math Initiative
AI 摘要
Google DeepMind 宣布启动 AI for Math 计划，联合帝国理工学院、高等研究院等五所顶尖机构，利用 AI 加速数学研究。该计划将提供 Gemini Deep Think、AlphaEvolve 和 AlphaProof 等工具，并已取得突破，如 AlphaEvolve 发现更高效的矩阵乘法算法，打破 50 年纪录。此举旨在推动 AI 与数学的深度融合，加速科学发现。
正文节选
Accelerating discovery with the AI for Math Initiative Mathematics is the foundational language of the universe, providing the tools to describe everything from the laws of physics to the intricacies of biology and the logic of computer science. For centuries, its frontiers have been expanded by human ingenuity alone. At Google DeepMind, we believe AI can serve as a powerful tool to collaborate with mathematicians, augmenting creativity and accelerating discovery. Today, we’re introducing the AI