袁新意自己会用 AI 做计算和相对简单的证明推导,但 AI 写的东西他仍要修改。他判断 AI 有知识面广和算力强的优势,人有直觉和审美的优势。但他真正担心的不是被超越,而是 AI 对数学共同体的三个影响:瘫痪、污染、压制。瘫痪评价机制,污染网络学术资源,压制年轻人成长——低垂的果实被 AI 摘掉,年轻人缺乏练手问题,行业传承就断了。
数学界已在讨论应对。他签署了《莱顿宣言》,核心是:AI 可以参与研究,但使用 AI 的人必须对文章负责,作者仍然应该是人。形式化数学工具 Lean 或许能解决对错验证,但审稿仍需人判断重要性和原创性。