3月22日，數(shù)學(xué)家陶哲軒在討論人工智能對數(shù)學(xué)研究的影響時(shí)，提出了一個(gè)深刻的類比。他將AI和形式化方法對數(shù)學(xué)的影響比作汽車對城市發(fā)展的沖擊。陶哲軒指出，盡管AI能夠高效地從假設(shè)直達(dá)結(jié)論，但在這個(gè)過程中卻丟失了人類研究過程中的附加價(jià)值，如專業(yè)能力的提升、數(shù)學(xué)版圖的勾勒以及新研究方向的發(fā)現(xiàn)。

陶哲軒認(rèn)為，AI輔助證明不適合發(fā)表在傳統(tǒng)期刊上，因?yàn)樗鼈內(nèi)鄙訇P(guān)于證明思路與探索過程的敘述。他提出，應(yīng)該創(chuàng)建適配機(jī)器的新型數(shù)學(xué)基礎(chǔ)設(shè)施，用以補(bǔ)充而非取代人類的研究路徑。例如，可以借助形式化證明助手驗(yàn)證結(jié)論的大型數(shù)學(xué)難題，或是自動(dòng)生成的粗略證明庫，再由人類將其打磨成更高質(zhì)量的版本。他還提議建立一門類似城市規(guī)劃的新學(xué)科——“AI規(guī)劃”，以保留數(shù)學(xué)“可步行探索”的本質(zhì)。

在與德瓦凱什·帕特爾的對話中，陶哲軒進(jìn)一步闡述了AI在他的工作中的作用。他提到，AI讓他的工作“更豐富、更廣闊”，例如通過提供更多的圖表、代碼以及更深入的文獻(xiàn)檢索。但他強(qiáng)調(diào)，數(shù)學(xué)研究的核心工作依然依靠筆和紙完成。陶哲軒認(rèn)為，AI已經(jīng)把想法生成的成本降到近乎為零，這與互聯(lián)網(wǎng)把溝通成本降到近乎為零的方式非常相似，但AI本身并不能直接創(chuàng)造知識的富足?，F(xiàn)在的瓶頸已經(jīng)變?yōu)槿绾悟?yàn)證和評估成千上萬種理論。