陶哲轩：AI或引发数学界自哥德尔以来最大危机

数学价值体系遭遇AI冲击

菲尔兹奖得主、加州大学洛杉矶分校数学家陶哲轩在《The Decoder》发表的新文章中指出，人工智能正将数学推向一场深刻危机，其规模可比肩1900年前后由罗素悖论等引发的基础主义危机。

危机本质是价值观而非真理性

陶哲轩强调，当前挑战的核心并非数学命题的真假判定能力下降，而是AI介入后对学科内在价值标准的动摇：包括‘什么构成真正学术贡献’‘何种成果值得期刊发表与职业晋升’‘署名权与智力劳动归属如何界定’等根本性问题。

‘可解释性’成为新基准

他提出一条实践性准则：任何无法被至少一位训练有素的数学家清晰复述、验证并传授给同行的证明，都应被视作尚未完成——无论其是否通过形式化验证或AI生成。