丘成桐数学与人工智能实验室联盟在清华大学成立

丘成桐数学与人工智能实验室联盟于2026年10月11日在清华大学成立，由丘成桐院士牵头联合清华求真书院等8家数学研究机构共同组建。联盟首个实验室落地清华求真书院，后续将在北京、上海、南京、深圳、香港5地组建实验室，并开放共享大模型训练资源、形式化数学库与算力平台。重点任务包括研发数学专用模型及创办专业学术期刊。