热点事件持续更新
丘成桐数学AI实验室联盟成立
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月12日，丘成桐数学与人工智能实验室联盟在清华大学成立，旨在推动人工智能与数学深度融合。报道称，联盟将围绕数学科学专用大模型、AI辅助数学形式化证明、AI辅助数学猜想发现等方向开展攻关，并发布10余项“AI+数学”重点成果和研究方向。报道还称，联盟已集结超过1000位数学家和科研工作者，探索中国自己的数学大模型建设路径。
AI 根据报道生成 · 2 小时前更新
最新进展10月12日 11:15
联盟在清华大学成立，并发布10余项“AI+数学”成果和方向。报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- IT之家丘成桐数学与人工智能实验室联盟在清华大学成立，推动 AI 与数学深度融合
丘成桐数学与人工智能实验室联盟在清华大学成立，将攻关数学科学专用大模型、AI 辅助数学形式化证明与猜想发现等方向。联盟发布 10 余项“AI+ 数学”重点成果和研究方向，已集结超 1000 位数学家和科研工作者，探索中国自己的数学大模型建设路径。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。