丘成桐在北京发起数学与 AI 联盟，目标千名研究者
菲尔兹奖得主丘成桐与多位中国数学家周日在京成立「丘成桐数学与人工智能实验室联盟」，联合 8 家机构，计划建成超 1000 名研究者的网络，推动 AI 进入数学研究。丘成桐警告中国正在落后于美国。西方数学界则普遍怀疑：包括 Terence Tao、Peter Scholze 在内的 25 位菲尔兹奖得主担心 AI 生成的证明侵蚀数学理解、让研究者依赖无法看懂的工具，部分人呼吁抵制 AI 生成的证明，也有人对自动化投稿的数量感到震惊。中国方面希望构建专用模型、可机器验证的证明和透明的 AI 推理。即便在使用 AI 的专…
推荐理由中美在 AI for Math 上的路线分歧，8 家机构、1000 人规模是具体数字