中国青年报客户端北京10月11日电（中青报·中青网记者 杨洁）今天，清华大学举办丘成桐数学与人工智能实验室联盟成立仪式。联盟旨在以人工智能加速数学与交叉学科研究，以数学原始创新支撑人工智能发展，聚焦数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等方向，以推动数学与人工智能深度融合，服务国家高水平科技自立自强战略。
丘成桐数学与人工智能实验室联盟AIFORMATH重点成果和研究方向中提及多个AI辅助的成果。如关于“7维同伦球面：所有光滑结构均可以承载处处为正的截面曲”的研究中，AI用于辅助探索证明策略、简化计算；计算代数系统用于核验精确恒等式、区间界、生成可复现的计算证书；数学家负责构思与证明，核验结果、完成数学论证和论文。在“从离散能谱重现三维黑洞熵”的研究中，AI辅助构造反例、推广结果，并编写通过Lean检查的形式化证明代码。研究者提出问题、修订猜想、分析物理意义，并核对形式化命题的表述。
据了解，“丘成桐数学与人工智能实验室联盟”由丘成桐院士牵头，联合清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院等一流机构组建，立足于强大的基础研究与跨学科协作能力，拥有超1000名科学家团队。
来源：中国青年报客户端
