丘成桐牵头成立数学与AI实验室联盟
AI 总结
10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，由菲尔兹奖得主丘成桐牵头，联合清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、香港中文大学致真交叉数学科学院等八家机构组建，计划汇聚约1000名数学家和科研人员。联盟将攻关数学科学专用大模型、AI辅助形式化证明与猜想发现、可解释人工智能等方向，并在北京、上海、南京、深圳、香港布局实验室，共享模型训练资源、形式化数学库与算力平台，还计划创办《AI辅助数学期刊》。丘成桐称AI带来的冲击“如同海啸”，主张主动参与，并指出国内大模型在前沿数学与基础科学能力上仍未达到世界领先水平。
深度见解
若联盟能按计划整合人才、算力与形式化数学资源，可能影响中国在AI辅助数学研究上的自主能力，以及这类成果如何验证和发表的学术规范。