数学大模型

2026.10.12

丘成桐牵头成立数学与 AI 实验室联盟：自主开发中国数学大模型

丘成桐数学与人工智能实验室联盟在清华成立，八家机构将联合千余名数学与科研工作者，研发数学专用模型、形式化证明工具和AI辅助研究基础设施。