陶哲軒最新采訪：AI將顛覆數學界！用Lean規模化，成百上千條定理一次秒殺

AIGC動態歡迎閱讀

原標題：陶哲軒最新采訪：AI將顛覆數學界！用Lean規模化，成百上千條定理一次秒殺
關鍵字：數學,人工智能,數學家,人類,領域
文章來源：新智元
內容字數：0字

內容摘要：

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

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

聯系作者

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