陶哲轩在2026年ICM演讲中提出“证明消化不良”概念，指出AI生成证明速度远超人类审核能力，数学进入证明过剩时代。他提出新准则：作者无法以专家水平清晰解释其结果，即使通过Lean等工具验证也不应发表。他还将AI产出的森多夫猜想证明从9万行Lean代码整理为1.5万行，并连带解决1972年的菲尔普斯-罗德里格斯猜想。
陶哲轩在2026年国际数学家大会上警示，AI正将数学推向“证明过剩”时代，并可能导致下一代数学家丧失数学直觉。他提到AI在开放数学问题上的成功率仅为1%到2%，并提出了“如果作者不能清晰阐释成果，即使通过形式化验证也不应发表”的准则。
菲尔兹奖得主陶哲轩在ICM 2026上警告，AI生成的数学论文以“过度光滑”的文本抹去人类思考痕迹，可能导致100年后数学界理解能力退化。他提出AI论文需附带“认知痕迹”注释，并以王虹破解Kakeya猜想为例说明认知地图的价值。
陶哲轩在ICM 2026上发表演讲，警告AI正给数学带来深刻危机，包括“证明消化不良”和“训练断档”风险。他认为AI在广度上有优势，但人类在深度与节奏上占优，并警示AI可能“过度拟合”。