觀點網訊：10月6日，OpenAI在GitHub發佈722份預印本，聲稱在幾何、計算機科學、代數及其他學科的372個數學問題上取得了進展。其內部模型嘗試解決約4000道數學問題，並公開了部分Lean形式化證明代碼。

不到24小時，OpenAI於10月7日宣佈因一個符號錯誤撤回其中三篇手稿。根據公告，該錯誤使一篇手稿中的一個論證失效，並使兩篇依賴論文所用的構造失效。每篇被撤回的論文都附有說明，解釋存在的漏洞，並稱OpenAI已“修訂另外14篇手稿，包括證明修補、陳述更正、更清晰的假設與依賴關係，以及對一處過時引用的更正”。

康奈爾大學副教授湯森懷疑還會發現更多錯誤。牛津大學數學家布里德森認為，這些解決方案公佈“會令許多人興奮，令其他人恐懼”。西北大學數學家克拉表示，同行評審沒有了，數學界需要很長時間消化。

人類數學協會10月7日發佈聲明稱，“數學家沒有要求做這項工作。一次性發布700多份文件不是學術展示，而是權力展示。我們敦促數學家停止與OpenAI合作，迴歸以人類理解為中心的科學願景。”菲爾茲獎得主陶哲軒近日在個人博客轉載了上述聲明。

聲明還指出，數學家關注推導可理解性、前人工作引用及新方法融入現有知識體系等情況，強調形式化驗證不能替代對命題含義、研究貢獻和學術背景的人工審查。