1 🤖 AI·大模型 IT 之家 2026-10-12 💬 丘成桐数学与人工智能实验室联盟在清华大学成立，推动 AI 与数学深度融合 IT之家 10 月 12 日消息，据北京日报报道，10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等领域发起攻关，推动 AI 与数学深度融合。 据IT之家此前报道，OpenAI 本月初一… 丘成桐数学与 人工智能实验 室联盟在清华 大学成立 推动