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

丘成桐数学与人工智能实验室联盟于2025年10月11日在清华大学成立，目前已集结超千位数学家和科研工作者，将推动数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现等领域的攻关，并发布了多项重点成果和研究方向。

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

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