OpenAI研究人員,突破80年來無人推翻的「艾狄胥問題」。圖/取自OpenAI
【本報綜合外電報導】人工智慧(AI)模型剛問世時,處理基本數學運算時常出錯,但到了去年已經在國際數學奧林匹亞(IMO)中獲得金牌。當OpenAI宣布其模型突破80年來無人推翻的「艾狄胥問題」(Erdős problems)猜想之一時,震驚向來不愛炒作的數學界,連當代權威數學家都同意這是AI在數學領域的里程碑。
《華爾街日報》報導,被譽為歷史上最多產的匈牙利數學家艾狄胥(Paul Erdős)去世後留下1217道難題,現已破解550道題。他在1946年提出「單位距離問題」(unit-distance problem):在平面上放置n個點,最多能有多少對點之間的距離恰好等於1單位?艾狄胥當年認為若排列成網格(棋盤格)可以得到一定數量的點對,並猜想沒有其他排列方式能做得更好。然而OpenAI模型找到新的構型族類,打破方格網的限制,證明還有更多點對的排列方式,OpenAI研究人員試圖除錯並請外部人員驗證結果,最後發現結果似乎可信且相當驚人。
為了方便大眾理解,OpenAI提供長達19頁著名數學家的評論,國際傑出數學發現獎(菲爾茲獎)得主、法蘭西公學院(Le Collège de France)教授高爾斯(Timothy Gowers)評道,如果這是由人類撰寫並提交給數學年刊,他會毫不猶豫地推薦,「即便AI不再變得更聰明,我們也已經進入一個新時代,人類在解決數學問題上,將很難與AI競爭。」