丘成桐数学与人工智能实验室联盟在清华大学成立，推动 AI 与数学深度融合

将向数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动 AI 与数学深度融合。

豆包、清华大学一起“开课”，《AI 赋能学术研究：人机互动的知识生产》课程开放报名

根据介绍，课程主要分享 AI 在真实研究流程中的应用，并与豆包工作深度协作，将前沿大模型对接学术场景，完成问题发现、知识综述、数据分析等环节。