AI 解出难题之后，数学还需要怎样的理解？
TL;DR：陶哲轩等 25 位菲尔兹奖得主联合发表公开声明，指出当前 AI 企业将解决数学难题单纯当作技术基准（Benchmark）的做法，与数学界追求“概念理解与深层洞察”的本质目标严重脱节；仓促发布未经消化、缺乏解释的机器证明不仅引发学术归属争议，更可能削弱数学界培养人才与传承思想的核心机制。 随着大语言模型数学能力的突飞猛进，AI 已开始涉足并攻克多项重大数学难题。然而，以陶哲轩为代表的 25 位菲尔兹奖得主在声明中指出，当前 AI 产业界单纯以“攻克难题”作为衡量模型