布魯塞爾自由大學（VUB）的最新研究標誌著人工智慧歷史上的潛在里程碑：商用大型語言模型現已能夠自主生成原創的數學證明。在一項實驗中，OpenAI 的 ChatGPT-5.2（Thinking）成功解決了數學家 Ran 和 Teng 於 2024 年提出的長期未解數學猜想。
圖片來源註：此圖像由人工智慧生成，由 Midjourney AI 服務提供。
這項成就標誌著大型語言模型（LLM）能力的重大拓展，使其超越程式碼與文字生成，進軍至邏輯嚴謹的理論數學領域。數學界對此反應熱烈，視其為科學發現領域中潛在的範式轉移。
研究團隊將此新方法命名為「直覺證明（vibe-proving）」，靈感源自近期流行的「直覺編程（vibe programming）」趨勢。在整個證明過程中，ChatGPT自主探索解法路徑並構建核心邏輯框架，展現出超越簡單數據重組的真實推理能力。
完整的證明歷經 7 輪對話互動與 4 次自我精煉，最終形成嚴謹的邏輯論證。儘管最終驗證工作由人類研究人員完成，但 AI 的演繹效率遠超數學家的預期。
布魯塞爾自由大學（VUB）教授文森特·吉尼斯（Vincent Ginis）指出，這項突破挑戰了「AI 僅具備歸納能力，而無創造力」的固有觀念。隨著 AI 生成數學證明門檻的降低，理論數學領域的發現步伐預計將呈指數級加速。
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容，请联系我们，一经查实，本站将立刻删除。
如需转载请保留出处：https://51itzy.com/kjqy/271990.html