IT之家 3 月 22 日消息，據(jù) The-decoder 報(bào)道，數(shù)學(xué)家陶哲軒將人工智能與形式化方法對(duì)數(shù)學(xué)研究實(shí)踐的影響，比作汽車(chē)對(duì)城市發(fā)展的沖擊。這一類(lèi)比同樣適用于包括編程在內(nèi)的其他領(lǐng)域。

汽車(chē)比以往任何交通工具都更快，但它們讓原本為人、馬匹和馬車(chē)修建的道路變得擁堵。新建的道路與高速公路讓高速出行成為可能，卻也帶來(lái)了城市無(wú)序擴(kuò)張、交通擁堵和環(huán)境問(wèn)題。陶哲軒寫(xiě)道，只有經(jīng)過(guò)深思熟慮的城市規(guī)劃與交通規(guī)則，才能以合理的方式將兩種世界融合起來(lái)。

IT之家注意到，數(shù)學(xué)現(xiàn)有的體系 —— 期刊、會(huì)議、師徒傳承、引用體系，就像古老而狹窄的道路：它們是為人而建的。人類(lèi)完成的證明或許緩慢，但會(huì)產(chǎn)生極具價(jià)值的附加效應(yīng)：研究者錘煉專(zhuān)業(yè)能力、勾勒數(shù)學(xué)版圖、發(fā)現(xiàn)新的研究方向，并記錄下那些富有啟發(fā)意義的死胡同與迂回路徑。

陶哲軒認(rèn)為，AI 輔助證明可以高效地從假設(shè)直達(dá)結(jié)論，卻恰恰在過(guò)程中丟失了這些附加價(jià)值。這類(lèi)證明往往不適合發(fā)表在傳統(tǒng)期刊上，因?yàn)槿藗兤诖?、關(guān)于證明思路與探索過(guò)程的敘述幾乎完全缺失。他將試圖升級(jí) AI 模型以產(chǎn)出可發(fā)表論文的做法，比作強(qiáng)行把汽車(chē)改造去適應(yīng)為人設(shè)計(jì)的街道。

陶哲軒認(rèn)為，更好的做法不是把 AI 強(qiáng)行塞進(jìn)現(xiàn)有體系，而是創(chuàng)建適配機(jī)器的新型數(shù)學(xué)基礎(chǔ)設(shè)施，用以補(bǔ)充而非取代人類(lèi)的研究路徑。他舉例：可以借助形式化證明助手驗(yàn)證結(jié)論的大型數(shù)學(xué)難題，或是自動(dòng)生成的粗略證明庫(kù)，再由人類(lèi)將其打磨成更高質(zhì)量的版本。他還提議建立一門(mén)類(lèi)似城市規(guī)劃的新學(xué)科 ——“AI 規(guī)劃”，以保留數(shù)學(xué)“可步行探索”的本質(zhì)。

在與德瓦凱什 · 帕特爾的對(duì)話(huà)中，陶哲軒進(jìn)一步闡述了這一觀點(diǎn)：AI 確實(shí)讓他的工作“更豐富、更廣闊”，例如借助更多圖表、代碼以及更深入的文獻(xiàn)檢索。但他數(shù)學(xué)研究的核心工作，依然依靠筆和紙完成。他表示，如果沒(méi)有 AI 率先提供的這些附加手段，如今一篇論文的完成速度并不會(huì)比過(guò)去快太多。AI 并沒(méi)有大幅加快實(shí)際研究過(guò)程，而是打開(kāi)了全新的可能性。

“我認(rèn)為 AI 已經(jīng)把想法生成的成本降到近乎為零，這與互聯(lián)網(wǎng)把溝通成本降到近乎為零的方式非常相似。這是一件了不起的事，但它本身并不能直接創(chuàng)造知識(shí)的富足?，F(xiàn)在的瓶頸已經(jīng)變了。我們突然面臨這樣一種局面：人們可以為一個(gè)科學(xué)問(wèn)題生成成千上萬(wàn)種理論。接下來(lái)我們必須去驗(yàn)證、去評(píng)估它們。”陶哲軒解釋道。

廣告聲明：文內(nèi)含有的對(duì)外跳轉(zhuǎn)鏈接（包括不限于超鏈接、二維碼、口令等形式），用于傳遞更多信息，節(jié)省甄選時(shí)間，結(jié)果僅供參考，IT之家所有文章均包含本聲明。