丘成桐发起并联合多家数学科研机构成立丘成桐数学与人工智能实验室联盟,在致辞中呼吁更多数学家参与人工智能研究,提升人工智能数学推理能力;联盟将汇聚千余名科研人员,聚焦数学科学专用大模型、人工智能辅助数学证明等方向开展研究。
10月11日,丘成桐数学与人工智能实验室联盟在清华大学成立,致力于推动AI与数学深度融合,并发布10余项“AI+数学”重点成果和研究方向,涉及退化阿诺德猜想、极小修改的有界性、7维同伦球面等科学问题,覆盖几何、量子计算、生命科学等方向;AI在其中主要充当辅助探索证明策略、简化计算与思路启发的“辅助者”角色。