丘成桐牵头成立千人数学与AI联盟，警告中国在AI辅助前沿科研方面落后美国

中国著名数学家、菲尔兹奖得主丘成桐10月11日在北京牵头成立数学与人工智能实验室联盟，联合八家科研机构、超过1000名科学家，希望借助人工智能推动数学研究取得突破。

据《南华早报》报道，丘成桐在联盟成立之际警告，中国在利用人工智能推动前沿科学研究方面仍然落后于美国，需要加快数学与人工智能的结合。

丘成桐在清华大学举行的成立仪式上表示，中国国内人工智能大模型的性能尚未达到世界领先水平，而海外大型人工智能企业正在聚集顶尖研究人员，不断推进技术发展。

他指出，人工智能的发展速度是指数级的，而不是线性的。面对这种变化，中国需要把更多优秀数学家和具有创造力的年轻研究人员组织起来，共同开展研究。

新成立的丘成桐数学与人工智能实验室联盟，由清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、深圳河套数学与交叉学科研究院，以及香港中文大学致真交叉数学科学院共同组建。

联盟将重点研发数学科学专用大模型，利用AI发现数学猜想、辅助数学证明，并通过形式化验证技术提高证明结果的可靠性。

形式化验证是利用严格的数学语言和计算机程序检查证明过程，以确认推理步骤是否符合逻辑规则。这项技术被认为是人工智能参与高水平数学研究的重要基础。

除了利用AI解决数学问题，联盟还希望反过来通过数学理论改善人工智能的推理能力、可解释性与安全性，并把研究扩展至量子计算、生命科学和金融经济等领域。

首个数学与人工智能实验室将设在清华大学求真书院，与丘成桐数学科学中心联合建设。其他参与机构随后将在北京、上海、南京、深圳和香港建立实验室。

丘成桐表示，人工智能正在对数学研究产生前所未有的冲击。他从事学术研究50多年，见证过许多重大数学突破，但目前AI带来的变化仍令他感到震撼。

他形容，人工智能对数学界的冲击如同海啸，数学家应该学会冲浪，而不是躲起来。

不过，中国科学院院士、中国数学会会长席南华也提醒，目前人工智能虽然能够产生新的数学定理和证明，但距离建立完整的数学理论体系仍有很大差距。数学研究不仅需要正确答案，还需要新的概念、方法和系统性的理论构建。