丘成桐牵头「数学与 AI」实验室联盟，目标汇聚超 1000 人

中国顶尖数学家近期在北京启动「丘成桐数学与人工智能实验室联盟」，由菲尔兹奖得主丘成桐牵头，联合约 8 家重点机构，目标汇聚超 1000 名科研人员。

联盟侧重面向数学的专用 AI 模型、猜想生成与证明形式化等方向，意在缩短与海外前沿实验室在数学 AI 上的差距。