陶哲轩等学者严厉批评OpenAI批量发布AI生成的数学证明。OpenAI从GitHub发布含数百项开放难题解答的719份数学手稿，被指违背“数学与人工智能顾问小组”关于提高专有模型透明度与发布规范的建议。陶哲轩称，这种工业化批量攻克难题造成“证明消化不良”，理解机制缺失正威胁数学研究生态。
