丘成桐数学与AI实验室联盟在清华成立
发生了什么
据IT之家及北京日报报道，10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立。联盟将向数学科学专用大模型研发、AI辅助数学形式化证明等领域发起攻关。牵头人丘成桐表示，联盟已集结超1000位数学家和科研工作者，联合多所高校及研究院所。联盟发布了10余项“AI+数学”重点成果，包括利用AI辅助探索7维同伦球面等科学问题的证明策略。
- 参与人数
- 超1000人
进展与证据
只展示有原文依据的进展；报道时间与事件发生时间分别保留。
联盟在清华大学成立
推动AI与数学深度融合
报道与来源
1 篇发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
来源关系与证据边界
按已记录的来源角色展示；连线仅表示原生身份流程确认的同稿入口，不表示独立佐证或跨报道引用。
- 来源报道1 个发布入口