陜西
AI又打破了一道過去被認(rèn)為不可能跨越的門坎。比利時布魯塞爾自由大學(xué)的研究團(tuán)隊近日發(fā)表了一項(xiàng)令學(xué)界震驚的成果：OpenAI的ChatGPT-5.2（Thinking）模型，在人類研究員的協(xié)作下，成功完成了一項(xiàng)懸而未決數(shù)學(xué)猜想的原創(chuàng)證明，相關(guān)預(yù)印本已于今年2月在arXiv發(fā)表。
這項(xiàng)猜想由數(shù)學(xué)家Ran與Teng于2024年提出。在數(shù)學(xué)領(lǐng)域，「猜想」是指有規(guī)律可循、反復(fù)驗(yàn)證后被認(rèn)為成立，但尚未完成嚴(yán)格邏輯論證的命題，只有通過完整推導(dǎo)才能升格為定理。這次整個證明過程歷經(jīng)七輪對話，最終形成四個版本的論證。其中ChatGPT負(fù)責(zé)最困難的部分，包括探索證明路徑和搭建核心論證結(jié)構(gòu)，人類研究員則全程把關(guān)邏輯的正確性與完整性。
研究團(tuán)隊將這種AI輔助探索復(fù)雜數(shù)學(xué)理論的新模式命名為「vibe-proving」，模擬于近年快速崛起的「vibe-coding」。教授Vincent Ginis表示，過去許多人認(rèn)為AI的創(chuàng)造力本質(zhì)上只是對訓(xùn)練資料的重組，這次研究徹底打破了這個迷思。博士后研究員Brecht Verbeken也說，雖然團(tuán)隊預(yù)期AI能有所貢獻(xiàn)，但它實(shí)際展現(xiàn)出的效率依然遠(yuǎn)超預(yù)期。另一位教授Andres Algaba則指出，未來數(shù)學(xué)界的核心瓶頸可能從「想出證明」轉(zhuǎn)移到「人類驗(yàn)證」這個環(huán)節(jié)。
特別聲明：以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺“網(wǎng)易號”用戶上傳并發(fā)布，本平臺僅提供信息存儲服務(wù)。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
