清华新闻网10月13日电 10月11日，丘成桐数学与人工智能实验室联盟（以下简称“联盟”）成立仪式在清华大学求真书院举行。第十二届全国政协副主席陈元，全国政协副主席、民盟中央常务副主席、中国科协主席王光谦院士等出席活动。北京市海淀区委书记王少峰，清华大学副校长李志华，清华大学求真书院院长、丘成桐数学科学中心主任丘成桐院士，中国数学会理事长席南华院士，国际数学联盟副主席、香港数学会理事长何旭华，中国科学院晨兴数学中心副主任田野院士出席会议并致辞。

联盟由丘成桐牵头，清华大学求真书院、清华大学丘成桐数学科学中心等八家数学研究机构联合组建，旨在以人工智能加速数学与交叉学科研究，以数学理论创新支撑我国人工智能发展。

成立仪式现场

王少峰表示，海淀区将成为联盟发展的服务者、合作者，推动基础理论与高技术产业化取得突破。

李志华表示，清华大学高度重视数学与人工智能交叉方向，此次汇集八家机构、千名科研人员共同组建联盟，是将我国数学科研优势转化为人工智能发展主动权的重要探索。

丘成桐表示，联盟将聚集优秀人才一同努力，自主研发人工智能数学科学专用模型，推动研究效率实现非线性增长。

席南华表示，希望联盟未来在促进我国数学与人工智能健康发展方面发挥重要作用。

何旭华认为，研究能力的提升能够帮助数学家充分释放想象力、展开更多探索，从而敢于提出更艰深的问题。

田野表示，数学家与人工智能可以彼此补充，共同向难题发起挑战。期待联盟在学生培养方面发挥积极作用。

联盟揭牌

陈元、王光谦、李志华、丘成桐、席南华、何旭华共同为联盟揭牌。

揭牌仪式后，联盟成员单位研究人员就人工智能辅助数学研究成果作专题介绍。

来自数学与人工智能领域的机构、企业、联盟成员单位代表和各大高校师生代表400余人参加活动。