丘成桐牵头成立数学与AI实验室联盟，如何评价这一行动？

推动AI+数学深度融合，丘成桐数学与人工智能实验室联盟成立_腾讯新闻 10月11日，丘成桐数学与人工智能实验室联盟成立，致力于推动AI（人工智能）与数学深度融合。 丘成桐数学与人工智能实验室联盟成立。 该联盟由清华大学讲席教授、求真书院院长丘成桐牵头，联合清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院等机构组建，目前已拥有超1000名科学家团队。 未来，联盟将向聚焦数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等方向发起攻关。 来源：北京日报客户端

前往原平台核验详情 ↗