谷歌DeepMind再出重拳，集结全球五大顶尖机构，以AI之力直指数学界圣杯！同时，陶哲轩也发出冷静警示：须警惕AI滥用带来的潜在风险。
今天，谷歌DeepMind重磅发起「AI赋能数学计划」，集结了全球五大顶尖机构。
他们将用上谷歌最强数学AI，去探索发现新的疆域。
这其中，有夺下IMO金牌的Gemini Deep Think，有算法发现AI智能体AlphaEvolve，还有形式化证明自动补全AlphaProof。
目前，首批合作机构阵容，堪称豪华：
-
伦敦帝国学院
-
普林斯顿高等研究院（IAS）
-
法国高等科学研究所（IHES）
-
西蒙斯计算理论研究所（加州大学伯克利分校）
-
塔塔基础科学研究所（TIFR）
这五大机构有着一个共同的使命，发掘可以被AI点亮的数学难题，加速科学发现。
然而，陶哲轩担忧的是，「当前AI在数学研究中应用加深，除了负责任的使用，AI滥用的案例也屡见不鲜」。
因此他认为，现在正是时候，启动关于如何最佳融入AI、透明披露其作用，并缓解风险的讨论。
或许，这不仅能守护数学研究的严谨性，还将为AI+数学融合铺就道路。
五大顶尖机构，联手强攻数学难题
数学，是宇宙最基础的语言。
在谷歌DeepMind看来，AI可以作为强大工具，与数学家合作，激发其创造力。
「AI赋能数学计划」的诞生，就是为了：
发掘有望借助AI获得深刻见解的新一代数学难题；
构建支持这些前沿探索所需的基础设施与工具；
最终加速科学发现的步伐。
