AIGC動態(tài)歡迎閱讀

原標題：陶哲軒最新采訪：AI將顛覆數(shù)學(xué)界！用Lean規(guī)模化，成百上千條定理一次秒殺
關(guān)鍵字：數(shù)學(xué),人工智能,數(shù)學(xué)家,人類,領(lǐng)域
文章來源：新智元
內(nèi)容字數(shù)：0字

內(nèi)容摘要：

新智元報道編輯：庸庸 喬楊
【新智元導(dǎo)讀】陶哲軒在最新的采訪中，系統(tǒng)地談到了AI可能會對數(shù)學(xué)領(lǐng)域產(chǎn)生的影響。他樂觀地認為，使用Lean等工具「形式化」數(shù)學(xué)，在AI的輔助下實現(xiàn)規(guī)模化生產(chǎn)——一次證明數(shù)百或數(shù)千條定理。但他也審慎地預(yù)測，數(shù)學(xué)問題在短期內(nèi)不會像國際象棋一樣被「解決」，但有可能會提高人類科學(xué)家的洞察力。數(shù)學(xué)歷來是一門孤獨的科學(xué)。
1986 年，安德魯·懷爾斯（Andrew Wiles）為了證明費馬大定理，遁入書齋長達七年之久。
數(shù)學(xué)家苦心孤詣得到的證明往往讓同行難以理解，有些證明至今仍有爭議。
但近年來，越來越多的數(shù)學(xué)領(lǐng)域被嚴格分解成各個組成部分，我們稱之為「形式化」（formalized），這就可以讓計算機來檢查和驗證數(shù)學(xué)證明。
菲爾茲獎得主、加州大學(xué)洛杉磯分校教授陶哲軒堅信，這些方法為數(shù)學(xué)領(lǐng)域的合作開辟了全新的可能性。
如果再加上人工智能的最新進展，在未來幾年里，數(shù)學(xué)領(lǐng)域可能會出現(xiàn)全新的工作方式。
在計算機的幫助下，一些重大問題可能會被更快解決。
陶哲軒在接受《科學(xué)美國人》的德語姊妹刊物Spektrum der Wissenschaft的采訪時闡述了他對未來的看法。
以下

原文鏈接：陶哲軒最新采訪：AI將顛覆數(shù)學(xué)界！用Lean規(guī)模化，成百上千條定理一次秒殺

聯(lián)系作者

文章來源：新智元
作者微信：AI_era
作者簡介：智能+中國主平臺，致力于推動中國從互聯(lián)網(wǎng)+邁向智能+新紀元。重點關(guān)注人工智能、機器人等前沿領(lǐng)域發(fā)展，關(guān)注人機融合、人工智能和機器人對人類社會與文明進化的影響，領(lǐng)航中國新智能時代。