丘成桐数学与人工智能实验室联盟在清华大学成立，发布10余项重点成果

10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，致力于推动AI与数学深度融合。联盟同时发布了10余项“AI+数学”重点成果和研究方向，涉及退化阿诺德猜想、极小修改的有界性、7维同伦球面等科学问题，覆盖几何、量子计算、生命科学等方向。

据北京日报客户端报道，AI在这些成果的产出中主要充当“辅助者”角色。在“7维同伦球面：所有光滑结构均可以承载处处为正的截面曲”研究中，AI被用于辅助探索证明策略、简化计算；计算代数系统用于核验精确恒等式、区间界、生成可复现的计算证书；数学家则负责构思与证明，核验结果、完成数学论证和论文。

此外，AI还在其他科学问题的解决中为科学家提供思路启发，辅助科学家开展早期实验性计算等。