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