EPFL 数学家 Gonzalo Cao Labora：AI 证明定理时代，人类理解力价值何在

EPFL 数学家 Gonzalo Cao Labora 在西班牙数学会与 BBVA 基金会颁奖礼上发表演讲，称 AI 证明定理将推动数学史上最伟大的变革之一，并要求重新思考“人类理解”的价值。他认为数学的目的不只是获得或确信答案，更在于理解答案，而这种理解正是数学对其他科学的贡献。