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