比利時布魯塞爾自由大學研究發現,商用大模型已能獨立生成原創數學證明。ChatGPT-5.2成功破解了2024年提出的數學猜想,標誌着大語言模型能力超越代碼輔助和文本創作,進入需要極強邏輯推理的數學領域。