近日，美國開放人工智能研究中心OpenAI發佈700多篇由其內部模型生成的數學手稿，聲稱其模型能夠解決上百個數學難題，此舉在學界引發爭議。

　　OpenAI聲稱，這些手稿解決了300多道人類之前無法攻克的數學難題，覆蓋代數、邏輯、幾何、概率等領域。這一事件引發廣泛關注，促使數學家思考人工智能將如何衝擊、重塑數學研究。法國數學家塞德里克·維拉尼直言，這將是數學領域的一場變革。

　　不過，有不少數學家對OpenAI宣稱的成果持懷疑態度。菲爾茲獎得主雨果·迪米尼-科潘表示，這批手稿涉及海量理論與數據，驗證工作量巨大。而OpenAI在發佈700多篇手稿後，也因為出現錯誤而撤回了3篇。還有學者指出，不少AI生成的證明方式不符合人類的思維習慣。

　　加拿大西安大略大學首席人工智能官 馬克·戴利：這些證明的方法在人類數學家看來很彆扭，作為一個想要搞懂原理的人，我對此感到遺憾。

　　今年9月，OpenAI宣佈其AI模型給出了納維—斯托克斯方程存在性與光滑性問題的證明，在數學界引發轟動。該方程描述了現實中流體運動的基本規律，是國際著名數學機構克雷數學研究所2000年懸賞一百萬美元求解的七個千禧問題之一。有學者表示，AI在數學領域的突破，既展現出強大科研潛力，也帶來隱憂：人類鑽研數學的動力或將減弱。

　　菲爾茲獎得主、劍橋大學數學教授 蒂莫西·高爾斯：我最擔心的是，我們擁有一款超強工具，能夠攻克極其深奧的數學問題，效率遠超人類。但這導致人們不再有足夠的動力，花費數年時間積累專業知識去讀懂AI的推導邏輯。最後很可能出現的尷尬局面是，我們擁有強大工具，卻沒有人能夠駕馭它。