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

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

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。