“当我们看到一个现象,不应仅仅思考这个现象,而应思考其背后的一般规律。这需要一种正确的、系统性的阐述方式。”奥昆科夫说,数学家们就是用抽象符号给出了对以上现象的阐述方式——抽象代数中“群”的概念。正如当下,人工智能发展如火如荼。对此,奥昆科夫认为,人工智能是数学研究的有力工具,可以在人工智能建模、大样本量计算等方面大大降低数学家的工作负担,但从另一个角度而言,人工智能并不能完全取代数学研究者本人的工作,尤其是在精确性等指标上,其表现仍有不足。“我们既不能固守传统,也不能一味追求AI的发展。”在奥昆科夫看来,传统计算方法与最新的人工智能研究方法可以在数学理论研究中和谐共存,这需要我们用好数学传统的同时,及时吸纳人工智能最新应用。(完)详情