OmniTools 10月13日消息，丘成桐数学与人工智能实验室联盟于近日正式成立，旨在推动人工智能与数学的深度融合。该联盟由清华大学讲席教授、求真书院院长丘成桐牵头，联合清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院等机构共同组建。
联盟目前已汇聚超1000名科学家，未来将重点聚焦数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等方向发起攻关。此次合作标志着国内在AI基础理论与数学交叉研究领域迈出实质性一步。
