AI 能廉价产出正确证明,数学家辨析:证明之外我们还剩什么

RexDouglass · x · 2026-09-12

在 AI 工作数学家 Pengchuan Zhang 探讨:如果 AI 能廉价产出正确证明,数学的价值还剩什么?他区分了三个层次——证明可以解决问题(solving)、学习证明可以教育人(learning)、发明证明本身是创造性工作(creating)。他指出数学价值有多种形式:科学、实用、教育与创造,菲尔兹奖得主强调的是教育与创造价值,而这正与其工作兴趣相关;每个数学人应想清楚自己重视哪种价值、自己的数学能交付什么。