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

2026年10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，旨在推动人工智能与数学的深度融合。据2026年10月12日IT Home报道，联盟将攻关数学科学专用大模型、AI辅助数学形式化证明与猜想发现、可解释人工智能等方向。联盟已集结超1000位数学家和科研工作者，并发布10余项“AI+数学”重点成果和研究方向，涉及退化阿诺德猜想、7维同伦球面等问题。目前报道未提及联盟的具体组织架构、运行机制或后续计划，事件仍处于成立与方向发布阶段。

AI 根据报道生成 · 46 分钟前更新

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