今天，谷歌DeepMind重磅发起「AI赋能数学计划」，集结了全球五大顶尖机构。

他们将用上谷歌最强数学AI，去探索发现新的疆域。

这其中，有夺下IMO金牌的Gemini Deep Think，有算法发现AI智能体AlphaEvolve，还有形式化证明自动补全AlphaProof。

目前，首批合作机构阵容，堪称豪华：

伦敦帝国学院
普林斯顿高等研究院（IAS）
法国高等科学研究所（IHES）
西蒙斯计算理论研究所（加州大学伯克利分校）
塔塔基础科学研究所（TIFR）

这五大机构有着一个共同的使命，发掘可以被AI点亮的数学难题，加速科学发现。