丘成桐数学AI联盟
2 steps1 pieces3 Sources
菲尔兹奖得主丘成桐于2026年10月11日在北京发起成立“丘成桐数学与人工智能实验室联盟”，旨在联合8家机构构建超千人的科学家网络，以弥补中国在利用AI推进前沿科学方面对美国的差距。该联盟将聚焦开发专用AI模型，用于生成数学猜想、形式化证明以及构建可解释性更强的推理系统。
【背景】丘成桐长期致力于微分几何与数学物理研究，其近期工作亦涉及利用AI筛选弦理论可能性，此次成立联盟被视为中国数学界系统性引入AI工具的关键一步。
How it got here
丘成桐领衔的数学与AI实验室联盟在京成立，宣布联合8家机构，目标建立千人科学家网络。
scmp.com ↗联盟明确核心任务为开发专用AI模型，实现猜想生成、证明形式化及提升推理可解释性。
scmp.com ↗
What is still unsettled
- 参与联盟的8家具体机构名单及其分工尚未公开。
- 专用AI模型的技术路线及开源策略未披露。
- 如何量化评估该联盟缩小中美差距的实际成效尚无标准。