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

10月11日，丘成桐数学与人工智能实验室联盟在清华大学正式成立，由清华求真书院院长丘成桐牵头。联盟将围绕数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能以及交叉领域智能计算等方向展开攻关，旨在推动人工智能与数学学科的深度融合。

这一联盟的成立背景值得关注。OpenAI近期一次性公开了722篇数学研究手稿，涵盖数论、代数几何、理论计算机科学、流体力学与统计物理等前沿领域，解决了多项长期存在的数学难题，给数学界带来了巨大冲击。AI在数学研究中的能力已引起学界高度重视。

联盟聚焦的数学专用大模型方向，意味着未来可能出现针对数学推理、符号计算和形式化证明的专用AI系统，而非仅依赖通用大模型。AI辅助猜想发现则指向一个更深层的问题：AI能否从辅助工具升级为数学发现的共同参与者。

可解释人工智能是联盟关注的另一重点方向。数学推理天然要求逻辑透明和可追溯，这与当前大模型的黑箱特性形成张力。将可解释性作为攻关方向，有望为AI在严谨科学领域的应用提供方法论支撑。

从更宏观的视角看，AI与数学的交叉正成为前沿研究的重要阵地。数学为AI提供理论根基，AI为数学提供新的发现工具，两者互为驱动。该联盟的成立，标志着中国在这一交叉领域开始进行有组织、有目标的系统性布局。

本站展示内容为基于公开信息的资讯解读与整理，不代表原文转载。如需核实细节或获取完整报道，请通过下方链接访问原始来源。