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

丘成桐数学与人工智能实验室联盟 10 月 11 日在清华大学成立，将攻关数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现等方向。该联盟联合清华大学求真书院、北京雁栖湖应用数学研究院等机构，已集结超 1000 位数学家和科研工作者。联盟现场发布了 10 余项重点成果与方向，探索在 7 维同伦球面等问题中利用 AI 辅助构思策略、简化计算与核验结果。