北京
陶哲軒提出一個(gè)顛覆性的觀點(diǎn)：AI可能讓數(shù)學(xué)研究歷史上第一次真正實(shí)現(xiàn)“勞動(dòng)分工”。過(guò)去，數(shù)學(xué)家必須獨(dú)自完成從設(shè)定問(wèn)題、構(gòu)建策略、執(zhí)行驗(yàn)證到撰寫(xiě)論文的全部環(huán)節(jié)，這和產(chǎn)業(yè)界或自然科學(xué)領(lǐng)域的深度專(zhuān)業(yè)化截然不同。 但AI正在改變這一局面。陶哲軒認(rèn)為，AI與形式化驗(yàn)證工具可以填補(bǔ)合作中的技能缺口，讓不同專(zhuān)長(zhǎng)的人與機(jī)器協(xié)同工作。然而危險(xiǎn)同樣明顯——如果AI只負(fù)責(zé)生成策略卻跳過(guò)驗(yàn)證環(huán)節(jié)，將導(dǎo)致未經(jīng)檢驗(yàn)的想法泛濫成災(zāi)。他說(shuō)得直白：“自動(dòng)化工具能用到什么程度而不變成一堆廢料，大致和你驗(yàn)證的嚴(yán)格程度成正比。” 這指向一種未來(lái)圖景：“工業(yè)數(shù)學(xué)”。不再是孤獨(dú)的研究者耗費(fèi)數(shù)年死磕一個(gè)問(wèn)題，而是由大型人機(jī)混合團(tuán)隊(duì)開(kāi)展更廣泛、或許也更淺層的探索。AI橫掃數(shù)十億數(shù)據(jù)點(diǎn)，人類(lèi)則從寥寥幾次觀測(cè)中做出“靈感式的猜測(cè)”。但這一模式真正運(yùn)轉(zhuǎn)的前提，是自動(dòng)化在多個(gè)領(lǐng)域同時(shí)取得突破，否則整個(gè)流程就會(huì)斷裂。 在陶哲軒看來(lái)，人類(lèi)始終不可或缺，因?yàn)锳I的表現(xiàn)極不均衡——一個(gè)極可能在數(shù)學(xué)之外眾多領(lǐng)域也同樣成立的法則。當(dāng)驗(yàn)證跟不上生成的速度，數(shù)學(xué)不會(huì)迎來(lái)黃金時(shí)代，只會(huì)迎來(lái)一個(gè)充斥著半成品猜想的雜貨鋪。
特別聲明：以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺(tái)“網(wǎng)易號(hào)”用戶(hù)上傳并發(fā)布，本平臺(tái)僅提供信息存儲(chǔ)服務(wù)。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
