AI登顶数学高峰 数学家角色面临重构

人工智能在数学领域的迅猛发展正在重塑这一学科的研究范式。Meta超级智能实验室的Muse Spark模型在过去6个月内协助解决了6大数学领域的开放性难题，包括群论和微分方程等基础科学领域，其中一篇论文直接推翻了现有的群论拟议规则。这一进展标志着数学研究范式的全面转型。

面对AI的“空降峰顶”，顶尖数学家们反应各异。菲尔兹奖得主陶哲轩将大模型视为不知疲倦的研究助手，而帝国理工教授凯文·布扎德则呼吁顶级论文必须附带计算机能逐行验证的形式化证明。然而，也有声音对AI的局限性提出质疑，图灵奖得主杨立昆指出当前大模型缺乏“元认知”。

未来，数学家的角色可能分化为三种：第一，变成“文学评论家”，专注于阅读和鉴赏机器产出的完美证明；第二，变成“古典钢琴家”，手工解题成为一种表演艺术；第三，去发现“异星数学”，探索高维数学体系。这场变革不仅限于数学领域，还将影响物理学、化学等基础科学的研究范式。

毕树超等科班出身的数学博士正致力于训练AI模型解决前沿难题，这标志着科学研究从“手工技艺”向“工业级基础学科”的转型。