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