AI充当“辅助者”，“AI+数学”重点成果和研究方向发布__财经头条_

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

北京日报客户端记者注意到，AI在这些成果的产出中，充当着“辅助者”的角色。

其中，在清华大学丘成桐数学科学中心、上海数学与交叉学科研究院开展的“7维同伦球面：所有光滑结构均可以承载处处为正的截面曲”研究中，AI用于辅助探索证明策略、简化计算；计算代数系统用于核验精确恒等式、区间界、生成可复现的计算证书；数学家负责构思与证明，核验结果、完成数学论证和论文。此外，AI还在其他科学问题的解决中为科学家提供思路启发，辅助科学家开展早期实验性计算等。