丘成桐数学与人工智能实验室联盟在清华大学成立，攻关数学专用大模型与AI辅助证明

丘成桐数学与人工智能实验室联盟10月11日在清华大学成立，将攻关数学科学专用大模型、AI辅助数学形式化证明与猜想发现、可解释人工智能等方向。联盟已集结超1000位数学家和科研工作者，并发布10余项“AI+数学”重点成果和研究方向，涉及退化阿诺德猜想、7维同伦球面等问题。丘成桐表示，联盟将探索属于中国自己的数学大模型建设路径。