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

10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学成立。 该联盟将向数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等方向发起攻关，推动 AI 与数学深度融合。

AI 根据报道生成 · 2 小时前更新

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