谷歌DeepMind再出重拳，集結(jié)全球五大頂尖機(jī)構(gòu)，以AI之力直指數(shù)學(xué)界圣杯！同時(shí)，陶哲軒也發(fā)出冷靜警示：須警惕AI濫用帶來(lái)的潛在風(fēng)險(xiǎn)。

今天，谷歌DeepMind重磅發(fā)起「AI賦能數(shù)學(xué)計(jì)劃」，集結(jié)了全球五大頂尖機(jī)構(gòu)。

他們將用上谷歌最強(qiáng)數(shù)學(xué)AI，去探索發(fā)現(xiàn)新的疆域。

這其中，有奪下IMO金牌的Gemini Deep Think，有算法發(fā)現(xiàn)AI智能體AlphaEvolve，還有形式化證明自動(dòng)補(bǔ)全AlphaProof。

目前，首批合作機(jī)構(gòu)陣容，堪稱豪華：

•  

  倫敦帝國(guó)學(xué)院

   

•  

  普林斯頓高等研究院（IAS）

   

•  

  法國(guó)高等科學(xué)研究所（IHES）

   

•  

  西蒙斯計(jì)算理論研究所（加州大學(xué)伯克利分校）

   

•  

  塔塔基礎(chǔ)科學(xué)研究所（TIFR）

   

這五大機(jī)構(gòu)有著一個(gè)共同的使命，發(fā)掘可以被AI點(diǎn)亮的數(shù)學(xué)難題，加速科學(xué)發(fā)現(xiàn)。

然而，陶哲軒擔(dān)憂的是，「當(dāng)前AI在數(shù)學(xué)研究中應(yīng)用加深，除了負(fù)責(zé)任的使用，AI濫用的案例也屢見不鮮」。

因此他認(rèn)為，現(xiàn)在正是時(shí)候，啟動(dòng)關(guān)于如何最佳融入AI、透明披露其作用，并緩解風(fēng)險(xiǎn)的討論。

或許，這不僅能守護(hù)數(shù)學(xué)研究的嚴(yán)謹(jǐn)性，還將為AI+數(shù)學(xué)融合鋪就道路。

五大頂尖機(jī)構(gòu)，聯(lián)手強(qiáng)攻數(shù)學(xué)難題

數(shù)學(xué)，是宇宙最基礎(chǔ)的語(yǔ)言。

在谷歌DeepMind看來(lái)，AI可以作為強(qiáng)大工具，與數(shù)學(xué)家合作，激發(fā)其創(chuàng)造力。

「AI賦能數(shù)學(xué)計(jì)劃」的誕生，就是為了：

發(fā)掘有望借助AI獲得深刻見解的新一代數(shù)學(xué)難題；

構(gòu)建支持這些前沿探索所需的基礎(chǔ)設(shè)施與工具；

最終加速科學(xué)發(fā)現(xiàn)的步伐。