北京時間10月7日，OpenAI對外公佈了其內部前沿AI模型取得的多項數學研究成果。
具體來說，OpenAI在Github平臺上一次發佈了722篇數學手稿，並按照結果相關性將其劃分爲372個“結果族（Result Families）”，涵蓋理論計算機科學、數論、幾何、數學物理等17個領域。
這些成果包括在準黎曼假設、Hilbert第十個問題、四維掛谷猜想、Kaplansky相關猜想等重要數學問題上的進展，部分成果已有Lean形式化證明。
OpenAI宣稱，絕大多數結果均採用相同流程，使用尚未發佈的內部模型獲得，平均每個結果耗費相當於ChatGPT Pro三個小時的計算量。在評估過程中，該內部模型被提出了4000個數學問題。
對此，學界人士表示，這一成果的規模既令人驚歎，又讓人喪氣。
倫敦大學學院的弗朗西斯·約翰遜研究沃爾D(2)問題長達25年，這也是OpenAI這批論文所解決的數百個難題之一。
約翰遜感慨：“我研究這個問題25年，爲此寫了兩本書，最後我本人放棄了。AI能這麼快攻克它，我很意外。但AI能做到這件事本身，並不出乎我的預料。”
約翰遜提到，近幾個月他一直在和AI模型協作，“AI給出的分析其縝密程度與清晰程度令他震驚”。
他坦言：“這把我們所有人置於一個非常微妙的境地。坦白講，精靈已經從瓶子裏出來了。我們必須接受這個現實。人類本就具備適應能力，所以我們只能去適應。眼下，我們只能靜觀，爲之驚歎。”
但帝國理工學院的凱文·巴扎德提醒大家應當保持審慎。他說，這批成果裏有30篇論文屬於他研究的數論領域，其中僅有7篇看起來質量突出，而只有1篇通過Lean形式化驗證。
據瞭解，Lean是一種計算機驗證工具，可以確精準覈驗數學推導。
巴扎德表示，儘管我們不能急於斷定這些結論全部成立，但AI在數學領域的整體進步勢頭十分驚人。
他分析認爲，如果這批新成果大部分最終被證實正確，我們將窺見新的常態。“很久以來，已經不存在能夠精通全部數學領域的人類專家，而現在，機器似乎擁有了這種能力。”
劍橋大學的本·阿拉納克分析了AI企業持續突破數學領域的核心原因。
他指出，各大AI企業一直在聘請數學家，投入大量時間與資源開展研究，因此不斷產出亮眼成果。“對這些公司而言，（數學發現）是智力領域的獎盃，一個可以爭取到手的獎盃。”
阿拉納克稱，這一切“令人困惑，同時帶來衝擊”。“我很慶幸自己不是純數學家。如果是，你難免會想問，那我們人類研究數學還有什麼意義？”
更多遊戲資訊請關註：電玩幫遊戲資訊專區
電玩幫圖文攻略 www.vgover.com
