可能摧毁孕育新思想的沃土——陶哲轩、邓煜、彼得·舒尔茨等25位菲尔兹奖得主近日联合发表声明，认为AI公司与数学共同体之间正在出现“严重错位”。 这份声明指出，大语言模型的数学能力显著提升，已经能够解决多个数学领域的重要未决问题。然而，问题也正在于此。数学家们认为，AI公司正在把解决数学问题作为衡量模型能力的基准，而数学共同体真正追求的，其实并不是尽可能快地得到一道题的答案。 简单来说，如今AI的求解能力仅被当成一种商业参数。至于为何要求证、求证后能否给更多人带来启迪，这些数学深层的意义都被淹没在机器的算法之中，最后只剩一个光秃秃、干巴巴的答案。所谓“严重错位”不是否认AI在数学上的能力，而是忧