成立的是联盟，不是一个已经发布的模型
IT之家 10 月 12 日报道，据北京日报，10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学成立。报道列出的攻关方向有四块：数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现、可解释人工智能，以及交叉领域智能计算。
这是成立和方向。报道没有给出模型名字、参数规模、开放对象或上线时间。
[1]
丘成桐谈的是数学要重新想自己的价值
联盟牵头人、清华求真书院院长丘成桐在成立仪式上说：“这倒逼我们重新思考数学的本质价值，也要求我们必须在 AI 浪潮中冲浪，而不是躲起来。”
这句话是他对学科处境的判断。报道没有把它写成某一条定理已经证完。
[1]十多项里，写清分工的只有七维球面
联盟发布了十余项“AI+数学”重点成果和研究方向，范围包括几何、量子计算和生命科学。点了名的问题有退化阿诺德猜想问题、极小修改的有界性，以及 7 维同伦球面。十余项里面，报道把人和工具怎么分工写清楚的，只有 7 维同伦球面这一项。另外两个只出现了名字。
这项工作在清华大学丘成桐数学科学中心和上海数学与交叉学科研究院进行。报道里的题目写到“所有光滑结构均可以承载处处为正的截面曲”就断了。这里不把后半句补上。
分工是：AI 用于辅助探索证明策略、简化计算；计算代数系统用于核验精确恒等式、区间界，并生成可复现的计算证书；数学家负责构思与证明，核验结果，完成数学论证和论文。
在这项里，模型不代替证明。它协助找策略、把计算变简单；代数系统出具证书；人来写证明。报道还说，AI 在其他科学问题里给科学家提供思路，并辅助早期的实验性计算。那些问题各自得出了什么，报道没有逐条列出。
[1]一千多人，数学模型仍是一条要走的路径
丘成桐说，联盟已集结超 1000 位数学家和科研工作者。一起列上的机构有清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳），以及香港中文大学致真交叉数学科学院。
联盟要给年轻学者和学生提供前沿指导，推动资源整合，探索属于中国自己的数学大模型建设路径。路径是还在探索的事。这篇报道里没有一个已经发布的数学模型。
[1]