一千多位數學家簽下承諾：不為 AI 公司工作、研究裡避用 AI
陶哲軒領軍的「人類數學家協會」成員破千人，分「素食者」與「純素食者」兩級承諾，導火線是 OpenAI 一次傾倒 722 篇 AI 生成數學論文。
數學界對 AI 公司的反彈，正在從口水戰變成組織行動。據《新科學人》報導，由菲爾茲獎得主陶哲軒領軍的「人類數學家協會」（Association of Human Mathematicians，AHM），成員已突破一千人——從教授到博士生都有。他們簽下的承諾很直白：不為 AI 公司工作、不跟 AI 公司合作；更徹底的一群，連研究裡都不碰 AI。
「素食者」與「純素食者」
AHM 開出三項承諾，第三項是選填，於是成員自然分成兩級：自稱「素食者」的不為 AI 公司工作或合作，也不用聊天機器人寫論文、講義和書；「純素食者」再往前一步，在研究工作中完全避開 AI。耶魯的 Sam Raskin 選了前者——他偶爾還拿 AI 處理瑣事，算不算「使用」有點模糊；倫敦帝國學院的 Steven Sivek 則是後者，他說這不是把頭埋進沙子否認現實，而是要想清楚這個行業該怎麼適應。
導火線：一次傾倒 722 篇論文
整件事的起點是 10 月 6 日：OpenAI 把內部未公開模型生成的 722 篇數學論文手稿一次放上 GitHub，涵蓋 372 個「結果群」，橫跨數論、幾何等 17 個領域。隔天 AHM 就發聲明開砲：一次丟出 700 多個檔案，「不是學術成果的展示，而是權力的展示」，呼籲數學家斷絕與 OpenAI 的合作。公開隔日，OpenAI 也因符號錯誤撤下 3 篇、修改 14 篇，更添爭議。
陶哲軒的批評不在真假——他承認許多結果經過形式化、可以信賴——而在呈現方式：寫得倉促艱澀，整個領域很難從中提煉出理解與意義，等於把「發現」傾倒給數學界，卻沒留下可對話的對象。
爭的不是 AI 行不行，是規矩誰來定
值得注意的是，這場聯名沒有下「AI 做數學不行」的結論。分歧落在三件事：成果該怎麼呈現、訓練資料的揭露有多透明、以及這門手藝該由誰來動手。複雜性理論學家 Scott Aaronson 把這個時刻稱為「Mathocalypse」；而在 AHM 之前，已有 25 位菲爾茲獎得主聯名警告 AI 產業的目標與數學研究文化脫節。
一個獨立的「數學與 AI 諮詢小組」（AGMAI）已在普林斯頓高等研究院旗下成立，要給 AI 公司開最佳實踐的藥方——OpenAI 說會採納，但這次的發布看起來跟建議背道而馳。當生成速度徹底超過驗證速度，數學只是第一個被迫回答這個問題的領域。
資料來源
- New Scientist：1000 human mathematicians pledge to shun AI in their research（2026-10-20）
- ビジネス＋IT：「OpenAIとの協力を停止せよ」人間中心とAI共存で数学界対立（2026-10-10）