“五十年后，如果還有人類數(shù)學家在努力尋找定理的證明，我會感到驚訝?！苯眨?998年數(shù)學領域最高獎菲爾茲獎得主、英國數(shù)學家威廉·蒂莫西·高爾斯爵士在接受澎湃新聞記者專訪時試圖對未來的數(shù)學研究做出預測。

通常，人們認為具有創(chuàng)造性要求的工作很難被人工智能取代。不過，高爾斯認為，數(shù)學研究確實需要創(chuàng)造性，但不是某種神奇的創(chuàng)意，并非無法在計算機上復制。

高爾斯爵士是英國數(shù)學家、數(shù)學作家，劍橋大學純數(shù)學和數(shù)學統(tǒng)計系的皇家學會研究教授。1998年，他因?qū)⒐δ芊治龊徒M合學領域連接起來的研究而獲得菲爾茲獎。

高爾斯近十年對人工智能產(chǎn)生興趣并做過關于自動定理證明的一些研究。他介紹，這項研究的最終目標是讓計算機產(chǎn)生新的數(shù)學發(fā)現(xiàn)。當前的計算機還不能做到這個目標，但他認為，這是一個令人著迷的想法。

他說，“我的工作最終將被計算機取代”，“這可能需要幾十年，比人工智能取代汽車廠或其他地方的工人花費更長時間”。

“如果這樣的事情真的發(fā)生，數(shù)學家應該怎么辦？”

面對這樣的提問，高爾斯沉思片刻，然后表示他無法給出答案，“我不知道”，“但在整個人類歷史中”，他嘗試向澎湃新聞記者解釋，“很多人類做過的工作，后來都被技術超越，人類不再被需要，我想數(shù)學研究可能就是其中之一”。

不僅如此，他還認為，也許未來，計算機還會擅長教數(shù)學。

高爾斯的主要貢獻在泛函分析和組合數(shù)學領域。他巧妙運用組合數(shù)學的方法，在巴拿赫空間中塑造了一系列完全不具備對稱性的結構。

10月31日，在第二屆世界頂尖科學家論壇莫比烏斯論壇現(xiàn)場，高爾斯進一步揭示了他對未來數(shù)學的暢想。

他提出這樣一個問題：2100年，數(shù)學會變成什么樣？

“很不幸，這個答案取決于人類文明是否以目前的形式存在。即便如此，我相信數(shù)學研究也將不再像我們現(xiàn)在理解的那樣存在?！?/p>

“可能的原因是”，高爾斯解釋，“對很多人來說，為了超越已知的數(shù)學而付出的努力可能不再值得”。

他提到，數(shù)學領域“容易摘得的果實”已被前人摘取，數(shù)學論文越寫越長，未來進入數(shù)學研究的門檻越來越高，“這會讓年輕人不愿意學數(shù)學”。

“更大的威脅來自人工智能”，他認為，計算機可以證明數(shù)學公式和定理，甚至自成體系。如果機器一旦到了某種程度，也許以后證明數(shù)學公式只需要直接在計算機里面輸入即可?！斑@種現(xiàn)象會越來越普遍，到那時，我們需要找到生存的新意義?！?/p>