热点事件观察中
丘成桐数学与AI实验室联盟在清华成立
1 篇报道1 个报道来源1 天前更新
先了解这件事
AI 综述
2026年10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立。联盟将攻关数学科学专用大模型、AI辅助数学形式化证明与猜想发现等方向，推动AI与数学深度融合。目前联盟已集结超1000位数学家和科研工作者，联合多家机构，发布10余项“AI+数学”重点成果和研究方向，并探索中国自主的数学大模型建设路径。
AI 根据报道生成 · 1 天前更新
最新进展10月12日 11:15
10月11日联盟在清华成立，集结超千名科研人员并发布10余项重点成果。报道时间线
沿着报道，了解事件的不同侧面。
10月12日
- IT之家丘成桐数学与人工智能实验室联盟在清华大学成立，推动 AI 与数学深度融合
10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学成立，将攻关数学科学专用大模型、AI 辅助数学形式化证明与猜想发现等方向。联盟已集结超 1000 位数学家和科研工作者，联合多家机构，发布 10 余项“AI+数学”重点成果和研究方向，并探索中国自己的数学大模型建设路径。
本事件热度走势
当前热度 5·可比范围峰值 10（10月12日 12:00）·近 24 小时可比范围变化 -50%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。