Organization

由丘成桐院士牵头，联合清华大学求真书院、清华大学丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、河套数学与交叉学科研究院（深圳）、香港中文大学等多家一流数学研究机构，组建数学科学人工智能联合实验室。

联合实验室组建基础：7家机构拥有超过1000名数学家参与，具备强大的基础研究与应用交叉能力；同时，可整合各单位资源，弥补数据样本量不足等短板，从而最大限度地聚合资源，实现AI时代数学学科发展破局。

联合实验室组建目标：带动教师、学生共同发展，应对AI对数学科学的挑战。以“数学驱动AI、AI反哺数学和交叉学科”为核心理念，聚焦数学科学专用大模型研发，建设成为国际一流的数学与人工智能交叉研究平台及数学与AI的国家实验室。在以下方向形成突破：数学专用基础模型的架构与训练方法、AI辅助数学形式化证明与猜想发现、数学理论驱动的可解释人工智能、面向重大科学问题的智能计算方法。