10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立。该联盟由丘成桐领衔，联合国内十余家顶尖数学与交叉学科研究机构，集结超1000名科研人员。联盟聚焦数学专用大模型研发、AI辅助形式化证明与猜想发现、可解释AI等方向，已发布10余项重点研究课题，包括7维同伦球面曲率问题等。AI在其中承担策略探索、计算简化与启发式建模任务，数学家主导证明与理论构建。此举旨在推动AI与数学深度融合，探索中国自主数学大模型发展路径。