RecodeX 重构消息，菲尔兹奖得主陶哲轩近日发表论文，系统论述AI对数学的冲击。论文引用数据称，10道未公开的研究级数学难题中，4个前沿AI系统有7道获得至少一个“基本无瑕”解答，成本仅几十至几百美元，而博士生可能需三年。

陶哲轩提出“证明消化不良”概念，认为AI生成证明速度将远超人类验证、消化能力，数学瓶颈从“产生证明”转向“消化证明”。他主张，若作者不能清晰讲解成果，即使形式化验证通过也不应发表。论文还引用2026年6月《莱顿宣言》，强调人类须为最终成果负责。