在数学研究领域，Google DeepMind与Google共同推出了"AI for Math Initiative"，旨在探索如何利用AI加速数学研究。该倡议汇聚了五个世界顶尖研究机构，包括帝国理工学院、先进研究所、IHES、加州大学伯克利分校的西蒙斯计算理论研究所，以及塔塔基础研究所，致力于识别适合AI驱动的数学问题，并构建相应的工具以推动这些进展。
Google的支持包括来自Google.org的资金和对DeepMind先进技术的访问，如增强推理模式Gemini Deep Think、算法发现代理AlphaEvolve及形式证明完成系统AlphaProof。
AI for Math Initiative的目标是建立基础研究与应用AI之间的强反馈循环，促进更深层次的合作。该倡议的推出恰逢AI推理能力的显著进步，DeepMind的AlphaGeometry和AlphaProof在国际数学奥林匹克中达到了银牌标准，而最新的Gemini模型在今年的奥林匹克中取得了金牌级表现，完美解决了六个问题中的五个。
此外，AlphaEvolve在50多个数学分析、几何、组合数学和数论的开放问题上应用，提升了20%的现有最佳解，并发明了一种新的矩阵乘法方法，打破了Strassen算法保持了50年的纪录，使用仅48个标量乘法完成4x4矩阵的乘法。
这一快速进展彰显了AI模型能力的飞速演变，我们希望通过这一新倡议，进一步探讨AI如何加速数学研究的发现，并解决更具挑战性的问题。我们相信，结合世界顶尖数学家的深刻直觉与AI的新能力，将能够开启新的研究路径，推动人类知识的进步，迈向科学领域的新突破。
博主点评： 这项“AI for Math Initiative”不仅展示了AI在数学研究中的巨大潜力，也为未来的科学发现提供了新的视角。通过跨学科的合作，AI将成为数学家们的重要助手，期待在不久的将来涌现出更多的数学奇迹。