该倡议汇集了一些世界上最负盛名的研究机构，以开创人工智能在数学研究中的应用。
尤金妮·里弗斯
谷歌 DeepMind GenAI 战略高级总监
数学是宇宙的基础语言，提供了描述从物理定律到复杂的生物学和计算机科学逻辑的一切事物的工具。几个世纪以来，仅靠人类的聪明才智就不断扩大其疆域。在 Google DeepMind，我们相信人工智能可以作为与数学家合作的强大工具，增强创造力并加速发现。
今天，我们将推出 AI for Math Initiative，该计划由 Google DeepMind 和谷歌.org。它汇集了世界上五个最负盛名的研究机构，开创了人工智能在数学研究中的应用。
首批合作机构是：
- 伦敦帝国理工学院
- 高等研究院
- 高等科学研究所 (IHES)
- 西蒙斯计算理论研究所（加州大学伯克利分校）
- 塔塔基础研究所 (TIFR)
该计划的合作伙伴将致力于实现共同目标，即确定人工智能驱动的洞察力成熟的下一代数学问题，构建基础设施和工具来推动这些进步，并最终加快发现的步伐。
Google 的支持包括来自 Google.org 的资助以及对 Google DeepMind 最先进技术的访问，例如名为“DeepMind”的增强推理模式双子座深思熟虑，我们的算法发现代理，阿尔法进化，以及我们正式的证明完成系统，阿尔法证明。该计划将在基础研究和应用人工智能之间建立强大的反馈循环，为更深层次的合作伙伴关系打开大门。
人工智能和数学的关键时刻
人工智能数学计划是在人工智能推理能力取得显着进步之际提出的。近几个月来，我们自己的工作取得了快速进展。
2024 年，我们的 AlphaGeometry 和 AlphaProof 系统达到银牌标准国际数学奥林匹克竞赛（IMO）。最近，我们最新的 Gemini 型号配备了 Deep Think，实现了金牌级别的表现在今年的 IMO 中，完美解决了 6 个问题中的 5 个问题，并获得了 35 分。
我们已经看到另一种方法取得了进一步的进展，阿尔法进化，它被应用于数学分析、几何、组合学和数论领域的 50 多个开放问题，并改进了其中 20% 的先前最著名的解决方案。在数学和算法发现，它发明了一种新的、更高效的矩阵乘法——计算中的核心计算。对于 4x4 矩阵相乘的具体问题，AlphaEvolve 发现了一种仅使用 48 次标量乘法的算法，打破了 Strassen 算法在 1969 年创下的 50 年前的记录。计算机科学，它帮助研究人员发现了新的数学结构，这些结构表明某些复杂的问题对于计算机来说比我们以前知道的更难解决。这使我们对计算限制有了更清晰、更精确的理解，这将有助于指导未来的研究。
这种快速进展证明了人工智能模型快速发展的能力。我们希望这一新举措能够探索人工智能如何加速数学研究的发现并解决更困难的问题。
我们才刚刚开始了解人工智能可以做的一切，以及它如何帮助我们思考科学中最深刻的问题。通过将世界领先数学家的深刻直觉与人工智能的新颖功能相结合，我们相信可以开辟新的研究途径，推进人类知识并在科学学科上取得新突破。