陶哲軒等25位菲爾茲獎得主聯名警告AI解題過快恐致「證明消化不良」，OpenAI 回應成立顧問小組但拒絕內部干預

據報導，數學家陶哲軒近期在 SAIR 演講中改變以往推崇 AI 的立場，公開呼籲 AI 模型公司放緩在數學領域的解題速度。他與 Cédric Villani、Peter Scholze、鄧煜及 Pierre Deligne 等 25 位菲爾茲獎得主聯名發表公開信，批評 OpenAI 等公司將數學作為 benchmark 刷分的行為，認為此舉抹殺了漫步式探索帶來的靈感與「認知摩擦」。 陶哲軒指出，當前 AI 僅在「生成解答」與「Lean 形式化驗證」兩個環節極速推進，但後續的人類理解、同行評審與寫入教科書等消化進度幾乎為零，導致「證明消化不良」（Proof Indigestion）。他警告，若學術界充斥海量人類無法理解的 AI 生成證明，下一代 AI 再以此作為訓練資料，將引發嚴重的數據污染，如同生物學中過度迭代的克隆技術般產生缺陷積累。 針對數學界的抗議，OpenAI 宣布於普林斯頓高等研究院（IAS）成立獨立的「數學與人工智慧顧問小組」（Advisory Group on Mathematics and AI），協助評估與傳播新興研究成果。然而，OpenAI 的官方聲明中明確指出，該顧問小組將不負責對其內部的數學進展提供建議。