“我从1969年开始做学问,从数学、物理到应用科学与工程,都有许多涉猎,但是从来没有见过学术界受到如此大的冲击。”10月11日,菲尔兹奖得主、清华大学讲席教授丘成桐在其牵头组建的“丘成桐数学与人工智能实验室联盟”(以下简称“联盟”)成立大会上抒发了他近半年来AI冲击数学给他带来的感受。他说:“这倒逼我们重新思考数学的本质价值,也要求我们必须在AI浪潮中冲浪,而不是躲起来。”
那么数学家该如何在AI中冲浪?新成立的“丘成桐数学与人工智能实验室联盟”的一大目标是整合国内数学研究力量,集中研发具有自主原创性的数学科学专用大模型。一方面,利用AI探索数学猜想、辅助定理证明;另一方面,以数学理论创新改进AI底层算法、模型架构和推理能力。各机构将共享算力、模型训练资源和形式化数学库,并陆续在北京、上海、南京、深圳、香港布局数学人工智能实验室。
此外,《返朴》注意到,由丘成桐先生领头,一本新的AI辅助数学的期刊将于2027年年初发布,该刊名为《Journal of AI-Assisted Mathematics》,由丘成桐创办并担任主编。该刊将汇聚全球顶尖学者,致力于打造AI与数学交叉领域具有国际影响力的旗舰学术品牌,聚焦人工智能与数学的深度融合。
科研力量的组织方式需要跟上AI的时代需要
丘成桐强调说,人工智能正给数学研究带来前所未有的冲击,而中国科研机构各自为战,难以与汇聚顶尖人才的国际AI巨头竞争。他在接受记者采访时表示:AI国产大模型已经能够较好地处理日常问题,甚至能写比较好的诗,但若要完成OpenAI近期展示的前沿数学研究,还有一定差距。
“现在欧美参加 OpenAI 有大量的人,包括Deepmind等好几个大公司。他们不是几十个人,而是有几千个学者在帮忙。”丘成桐说,人类学者使用AI时是在接受机器的帮助,但机器也在吸收人类问题的精华,也增加机器的能力。“最前沿的研究不是抽象的研究,因为它会改变 AI 本身最基本的做法。”丘成桐忧心地说:“我们需要的资源还远远不够,无论是经费还是机器。现在全世界最先进的AI不准我们中国用。OpenAI 、ChatGPT 全部不准中国用,这对我们很不利。”









浙公网安备33059102000194号