激情五月播播久久久精品_国产激情偷乱视频一区二区三区_国产一区二区看久久_亚洲欧美成人网

8月初，頂尖數學家齊聚舊金山OpenAI的辦公室，探討一個關乎生存的問題：如果人工智能很快將人類數學專家全部甩在身后，那么人類數學專家還能做什么呢？

多倫多大學數學教授丹尼爾·利特在題為“數學的終結”的演講中說：“我認為我們最終可能會進入一個沒有高質量數學研究、人類數學專業知識完全喪失的世界。”

(相關資料圖)

數學家宣布退出數學學術界：不再尋求答案，轉而驗證答案

在紐約大學阿布扎比分校完成博士后研究的數學家里希凱什·加賈拉近期宣布退出數學界。他在社交媒體上寫道：“對我而言，數學的意義從來不在于答案本身，而在于答案出現之前數月甚至數年的探索：那些死胡同，那些漫長而艱辛的尋找，直到隱藏的結構最終顯露出來。”

▲數學家里希凱什·加賈拉在近期宣布退出數學界

AI讓一切都改變了。加賈拉寫道：“我們正迅速邁向一個只需一個AI提示詞就能獲得大部分答案的世界。一旦我真正接受了這種可能性，我便不再像以前那樣，將生命的大部分時間投入到尋找這些答案上。”

他認為，如今驗證AI的答案是否正確才是一個核心的智力瓶頸。他強調：“只有當智能的輸出結果可信時，它才有用。因此，我決定離開數學學術界，將注意力從發現答案轉移到構建能夠驗證答案的系統上。”

加賈拉宣布加入專注于AI可靠性和可驗證性的公司Pramaana Labs。該公司于2026年6月宣布獲得2700萬美元種子輪融資。該公司核心目標是解決大模型在稅務、法律、金融、醫療等高風險領域容易“答得像真的、卻無法證明正確”的問題。

AI在數學領域突飛猛進：期待4年后AI和數學家共獲菲爾茲獎

今年以來，AI在數學領域不斷取得突破。從計算輔助、文獻整理，到參與證明生成與結構構造，AI正深度融入數學研究核心環節。

5月，OpenAI宣布其模型在匈牙利數學家保羅·埃爾德什提出的“平面單位距離問題”中，設計出一種新的點集構造方法，在相同規模約束下得到更多單位距離對，被認為突破了長期以來基于規則幾何結構的經驗性直覺。

同時，年僅23歲、沒有接受過正規數學訓練的英國業余數學愛好者利亞姆·普萊斯在ChatGPT的幫助下，破解了一個困擾世界頂尖數學家60年的埃爾德什第1196號問題。

OpenAI更是在8月公布了其最新AI模型Astra在數學和理論計算機科學領域取得的10項成果，涉及幾何學、密碼學、計算復雜性、糾錯碼、量子博弈等多個方向。其中一些問題已經困擾數學家數十年甚至超過一個世紀，Astra不僅給出了新的證明或反例，還將相關結果形式化為可由Lean 4機器驗證的證明。

▲OpenAI官方近日宣布，在最新的內部測試中，Astra在數學與理論計算機科學領域取得了重大突破（圖據視覺中國）

OpenAI強調，這一過程并非單純讓AI生成看似合理的答案，而是要求其產生能夠被形式化驗證的證明；不過，這些結果仍需要數學界進一步獨立審查。

OpenAI數學家塞巴斯蒂安·布貝克稱，AI自主作出與最偉大數學家比肩甚至超越他們的貢獻只是時間問題。他期待到2030年，AI和數學家或許能夠共同獲得菲爾茲獎。

紅星新聞記者 卿瀅

編輯 羅天 審核 高升祥