劍橋大學教授、費爾茲獎得主蒂莫西·高爾斯近日在其部落格上披露了一段令人驚異的經歷：他使用尚未公開的chatgpt 5.5 pro，在一小時內解決了一個困擾數學界數十年的組合數學開放問題。多年來，學術界普遍認為大型模型處理高級數學的能力僅限於「背誦」——也就是檢索文獻或模仿已知推導過程。然而，這項測試徹底打破了這一偏見。高爾斯發現，這款內部測試版模型不僅能識別出人類專家忽視的簡潔論證，甚至還能在不依賴現有理論支持的情況下，獨立構建極具原創性的證明框架。
這項突破的目標是一個棘手的加性數論問題，涉及和集直徑的上界估計。此前，麻省理工學院學生艾薩克·拉賈戈帕爾已證明該上界呈指數增長。在高爾斯的引導下，該模型首先在短短16分鐘內改進了上界估計，隨後又自主識別出關鍵命題以供驗證。經過約一小時的自我修正後，最終提交了一份完整的證明。艾薩克·拉賈戈帕爾審閱後表示，其邏輯結構嚴謹無瑕，核心思想既獨創又巧妙——這些成就即便經由人類數學家耗時數週努力，也足以令人驕傲。
隨著人工智慧展現出「博士級」的原創研究能力，學術倫理與教育體制面臨著深刻的挑戰。高爾斯指出，這些成果完全符合頂尖期刊的發表標準；然而，預印本平台arxiv明確拒絕接受ai生成的內容，這可能使一些重要的突破陷入「溝通瓶頸」。同時，過去用來訓練博士生的中等難度開放問題，如今竟可在一小時內被ai解決，迫使人類研究者不得不尋求更加深奧、更加困難的課題。當基礎研究日益外包給ai時，人類數學家的核心競爭力究竟何在？這場技術革命正在重新定義人類智能的邊界。
