ChatGPT-5.2 首次獨立證明數學假設，開創「vibe proving」AI 推理新法

比利時布魯塞爾自由大學（VUB）Data Analytics Lab研究的是Ran與Teng於2024年提出的第20號猜想，探討四循環列隨機非負矩陣的非實數譜區域。重要性在於，OpenAI ChatGPT-5.2（Thinking）已能參與研究級原創證明，但成果仍須人類嚴格驗證。

論文於2026年2月21日上傳arXiv，編號2602.18918；團隊分析7段ChatGPT對話及4版證明草稿，採取生成、審查、修補流程。模型建立主要論證架構，人類研究者修正象限、不等式與端點漏洞，最終完成可檢查證明，並將方法命名為「vibe proving」。