谷歌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獲得深刻見解的新一代數學難題；
構建支持這些前沿探索所需的基礎設施與工具；
最終加速科學發現的步伐。
