数学家袁新意:面对AI,数学是科学的第一道防线
袁新意说的也有道理,他要求研究生起码第一个数学研究论文要用“古法”来做。
在袁新意看来,AI的解题能力已经毋庸置疑。广泛的知识面和强大的计算力,使它能够结合不同数学分支的方法,进行万亿次试错,完成复杂的计算、繁琐的推导 。“解题当然非常重要”,但他同时问:“这个题目从哪来?”
我认为,人类对数学的理解还是超过AI。例如人类可以提出很有用的数学新概念,AI还没有。如果人自己放弃理解,都用AI搞数学了,那数学就真完了。
AI对数学实际是没有整体的理解,是各种技术都会,能把很多数学分支凑一起,暴力探索各种方向组合。并不是“基座大模型”就理解了数学,它的能力是通过不断组合搜索表现出来的。这明显是一个计算过程,而不是一个会交流的数学家。
数学“解题技巧”这种奥数式技能,已经肯定被AI攻破了。开放性的数学问题,其实在AI看来就是复杂一些的奥数题,解题过程没有本质区别。奥数都是高中数学,数学家们搞的深奥数学只是定义更多更复杂,数学结构上还是一样的。
高水平数学家,以后一定是做关于数学结构的事,而不是去和AI竞争解题技术。


