商傳媒｜何映辰／台北報導
人工智慧模型ChatGPT-5.2近期寫下科學研究新篇章，比利時布魯塞爾自由大學（VUB）資料分析實驗室的研究團隊證實，這款商用AI模型已能獨立生成原創的數學證明。該研究指出，ChatGPT-5.2成功解決了數學家 Ran 與 Teng 於2024年提出的幾何學未解猜想。
根據《SciTechDaily》報導，這項突破性成果是透過七次聊天對話與四個不斷演進的論證版本逐步達成。研究人員為此發展出新的AI推理方法，稱之為「vibe-proving」。該方法讓語言模型能協助組織與探索複雜的理論概念，挑戰了長期以來對於AI創造力僅限於重組既有訓練數據的普遍認知。
VUB資料分析實驗室的博士後研究員 Brecht Verbeken 表示，他長期以來便懷疑ChatGPT有能力協助解決未解的數學問題，但對於其效率之高仍感到驚訝。實驗室教授 Vincent Ginis 也強調，這項工作推翻了AI創造力受限於訓練數據重新組合的迷思。另一位教授 Andres Algaba 則指出，儘管現在形成候選證明所需的時間大幅縮短，但人工驗證仍是關鍵瓶頸，這部分需要時間，然而語言模型未來也能提供協助。
這項名為「消費級大型語言模型進行『vibe-proving』的初步證據：以ChatGPT-5.2（Thinking）對光譜區域特徵化的案例研究」的論文，已於2026年2月21日在預印本平台 arXiv 上發表。此研究證明大型語言模型在人類嚴謹監督下，除了支援編程或寫作任務外，也能對原創數學發現有所貢獻。
頭條留言
