IT之家 · 智能时代T2·68 分
丘成桐数学与 AI 实验室联盟成立：集结千位数学家，探索中国自主数学大模型路径
原标题：丘成桐数学与人工智能实验室联盟在清华大学成立，推动 AI 与数学深度融合
- 联盟集结超 1000 位顶尖数学家，联合清华求真书院、中科院晨兴中心等机构，形成大规模跨学科协作网络。
- 确立“人类构思证明 + AI 辅助策略探索/简化计算 + 计算代数系统核验恒等式”的人机协同工作流。
- 明确提出探索属于中国自己的数学大模型建设路径，并发布涉及退化阿诺德猜想、7 维同伦球面等前沿方向的 10 余项成果。