（来源：文汇报）
从挑战数学奥赛到攻克数学界经典难题，人工智能（AI）正加速进入数学前沿领域。面对这一变革，中国数学界正加速整合力量，探索新的科研方式。
10月11日，由菲尔兹奖得主、清华大学讲席教授丘成桐院士牵头，清华大学求真书院、上海数学与交叉学科研究院等8家机构联合组建的丘成桐数学与人工智能实验室联盟在清华大学成立。联盟汇聚近千名数学家和科研人员，将自主研发数学科学专用模型，推动数学与AI深度融合、双向赋能。
近年来，AI在数学领域的进展令人瞩目。特别是上周，OpenAI集中公开了700余份由内部模型生成的研究文稿，涉及多个重大数学问题。尽管其结论仍待进一步核验，但AI对数学研究方式与学术生态的冲击正在全球引发广泛关注和讨论。联盟正是在这样的背景下成立的。
对于当前数学研究所面临的形势，丘成桐在成立仪式上直言，这是一个令学者们最兴奋的时代，也是最危险的时代。他认为，AI把人类有史以来的思考通过强大算力聚合起来，在过去半年里给数学带来了前所未有的冲击。
丘成桐表示，相较于他从事数学研究50年来所见证的那些伟大突破，如今AI的威力可以说更加震撼。与此同时，国内AI大模型的性能暂未达到世界领先，面对国外大公司的竞争，需要通过联盟将大量优秀人才聚集起来，努力实现跨越式提升。
谈及AI与数学融合的未来，与会顶尖学者给出了积极信号。丘成桐认为，如果善加利用，AI可能催生划时代的科研成果。
中国数学会理事长席南华院士强调“数学永存”，认为目前的AI“还只是在数学花园里种出一些新的花草”，距离构建数学大厦还有很大差距。
国际数学联盟副主席、香港数学会理事长何旭华认为，AI能帮助数学家释放想象力，敢于挑战更艰深的问题。
中国科学院晨兴数学中心田野院士也指出，数学的发展除了解决重要问题，也来自新概念、新方法和理论联系的发现，数学家与AI可以相互补充，共同向难题发起挑战。
据介绍，联盟整合了全国优势科研资源，汇聚近千名高端数学人才和科研团队，在基础数学、应用数学和交叉学科领域形成显著集聚优势，具备以数学源头创新支撑AI发展的独特条件。联盟设学术委员会，负责重大方向决策和学术评价，由丘成桐担任主席，各参与科研机构指定学术带头人担任委员。
根据联盟设定的机制，各参与机构可开放共享大型模型训练、形式化数学库、算力平台等资源，集中攻关AI与数学交叉领域前沿问题，以此重塑AI时代数学科学学术环境，为教育、科技、人才一体化发展提供有力支撑。
现阶段，联盟明确了6项重点任务，包括自主研发数学科学专用模型，建设AI辅助数学研究基础设施，从基础数学研究出发为AI的可解释性和安全性提供理论支持，将融合研究拓展至量子计算、生命科学、金融经济等交叉领域。此外，联盟还将通过国际合作引育高端人才，并打造具有国际影响力的AI与数学旗舰学术期刊。
值得一提的是，联盟将通过持续建设，形成跨地区、跨机构的实验室网络。其中首个数学与AI实验室将落地清华大学求真书院，由求真书院和丘成桐数学科学中心联合建设。未来，各参与机构将分别在北京、上海、南京、深圳、香港组建实验室，在原有科研力量基础上加速推动AI与数学以及交叉领域的多元融合。
