人類數學協會近日發布聲明，呼籲數學家停止與OpenAI合作，反對其在GitHub一次性公開大量AI生成數學手稿。該組織指出，OpenAI最初發布722份手稿，後因符號錯誤撤回3份，目前剩餘719份，覆蓋約372個成果族。
聲明措辭嚴厲，認為這種批量發布方式「展示的不是學術研究，而是權力」，並要求學界回歸以人類理解為核心的科研方式。菲爾茲獎得主陶哲軒雖非聲明起草者，但他在個人部落格全文轉發，使爭議迅速擴散。
爭議並非突然出現。此前陶哲軒曾聯合24位菲爾茲獎得主發表公開信，警告AI公司不應將數學難題當作模型能力競賽。普林斯頓高等研究院主持的數學與人工智慧諮詢小組也曾建議，前沿AI實驗室不應在外界無法訪問的專有模型上測試高難度數學問題，並應披露模型名稱、推理過程與算力成本。但OpenAI此次發布未完全滿足這些要求，僅少量手稿公開了推理鏈。
部分學者對AI生成證明的可讀性表示擔憂。理論電腦科學家達娜·莫什科維茨稱相關文檔邏輯混亂，史考特·阿倫森則將其形容為「數學末日」。不過，也有學者認為AI仍可能推動數學發展，只是企業應以更符合學術規範的方式發布成果。
目前，OpenAI已對倉庫進行更新，撤回了3篇手稿，並修訂了部分文件。這場爭論的核心已不只是「AI能否證明定理」，而是誰來決定研究方向、誰承擔驗證成本，以及技術進步是否仍服務於知識積累。
