著名數學家陶哲軒等學者近期對 OpenAI 批量發佈 AI 生成的數學證明提出嚴厲批評。事起 OpenAI 從 GitHub 發佈了包含數百項開放難題解答的 719 份數學手稿，但此舉被指違背了“數學與人工智能顧問小組”關於提高專有模型透明度與發佈規範的建議。

理解機制缺失威脅研究生態

陶哲軒指出，這種工業化批量攻克難題的方式正帶來嚴重的負面效應，導致數學界出現“證明消化不良”現象。傳統數學研究中，攻克猜想伴隨着學術交流、論文簡化及新理論的提煉，而 AI 僅給出答案卻缺乏人類可理解的解釋與學術互動，破壞了數學社區的健康探索機制。

過度追求指標損傷領域肥力

學界同時警示，將攻克難題的速度作爲衡量數學進步的唯一指標屬於短視行爲。這種大規模的機械“收割”不僅未能帶來實質性的洞見積累，反而擠壓了傳統研究路徑的生存空間，使整門學科的創新土壤面臨貧瘠化的風險。