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

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

多倫多大學(xué)數(shù)學(xué)教授丹尼爾·利特在題為“數(shù)學(xué)的終結(jié)”的演講中說(shuō)：“我認(rèn)為我們最終可能會(huì)進(jìn)入一個(gè)沒(méi)有高質(zhì)量數(shù)學(xué)研究、人類數(shù)學(xué)專業(yè)知識(shí)完全喪失的世界。”

(相關(guān)資料圖)

數(shù)學(xué)家宣布退出數(shù)學(xué)學(xué)術(shù)界：不再尋求答案，轉(zhuǎn)而驗(yàn)證答案

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

▲數(shù)學(xué)家里希凱什·加賈拉在近期宣布退出數(shù)學(xué)界

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

他認(rèn)為，如今驗(yàn)證AI的答案是否正確才是一個(gè)核心的智力瓶頸。他強(qiáng)調(diào)：“只有當(dāng)智能的輸出結(jié)果可信時(shí)，它才有用。因此，我決定離開(kāi)數(shù)學(xué)學(xué)術(shù)界，將注意力從發(fā)現(xiàn)答案轉(zhuǎn)移到構(gòu)建能夠驗(yàn)證答案的系統(tǒng)上。”

加賈拉宣布加入專注于AI可靠性和可驗(yàn)證性的公司Pramaana Labs。該公司于2026年6月宣布獲得2700萬(wàn)美元種子輪融資。該公司核心目標(biāo)是解決大模型在稅務(wù)、法律、金融、醫(yī)療等高風(fēng)險(xiǎn)領(lǐng)域容易“答得像真的、卻無(wú)法證明正確”的問(wèn)題。

AI在數(shù)學(xué)領(lǐng)域突飛猛進(jìn)：期待4年后AI和數(shù)學(xué)家共獲菲爾茲獎(jiǎng)

今年以來(lái)，AI在數(shù)學(xué)領(lǐng)域不斷取得突破。從計(jì)算輔助、文獻(xiàn)整理，到參與證明生成與結(jié)構(gòu)構(gòu)造，AI正深度融入數(shù)學(xué)研究核心環(huán)節(jié)。

5月，OpenAI宣布其模型在匈牙利數(shù)學(xué)家保羅·埃爾德什提出的“平面單位距離問(wèn)題”中，設(shè)計(jì)出一種新的點(diǎn)集構(gòu)造方法，在相同規(guī)模約束下得到更多單位距離對(duì)，被認(rèn)為突破了長(zhǎng)期以來(lái)基于規(guī)則幾何結(jié)構(gòu)的經(jīng)驗(yàn)性直覺(jué)。

同時(shí)，年僅23歲、沒(méi)有接受過(guò)正規(guī)數(shù)學(xué)訓(xùn)練的英國(guó)業(yè)余數(shù)學(xué)愛(ài)好者利亞姆·普萊斯在ChatGPT的幫助下，破解了一個(gè)困擾世界頂尖數(shù)學(xué)家60年的埃爾德什第1196號(hào)問(wèn)題。

OpenAI更是在8月公布了其最新AI模型Astra在數(shù)學(xué)和理論計(jì)算機(jī)科學(xué)領(lǐng)域取得的10項(xiàng)成果，涉及幾何學(xué)、密碼學(xué)、計(jì)算復(fù)雜性、糾錯(cuò)碼、量子博弈等多個(gè)方向。其中一些問(wèn)題已經(jīng)困擾數(shù)學(xué)家數(shù)十年甚至超過(guò)一個(gè)世紀(jì)，Astra不僅給出了新的證明或反例，還將相關(guān)結(jié)果形式化為可由Lean 4機(jī)器驗(yàn)證的證明。

▲OpenAI官方近日宣布，在最新的內(nèi)部測(cè)試中，Astra在數(shù)學(xué)與理論計(jì)算機(jī)科學(xué)領(lǐng)域取得了重大突破（圖據(jù)視覺(jué)中國(guó)）

OpenAI強(qiáng)調(diào)，這一過(guò)程并非單純讓AI生成看似合理的答案，而是要求其產(chǎn)生能夠被形式化驗(yàn)證的證明；不過(guò)，這些結(jié)果仍需要數(shù)學(xué)界進(jìn)一步獨(dú)立審查。

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

紅星新聞?dòng)浾?卿瀅

編輯 羅天 審核 高升祥