西方数学家担忧 AI 让自己变笨，中国组建丘成桐数学与人工智能实验室联盟

菲尔兹奖得主丘成桐与多位中国顶尖数学家周日在京成立“丘成桐数学与人工智能实验室联盟”，联合 8 家机构，目标建成超过 1,000 名研究者的网络，推动 AI 用于数学研究。在西方，25 位菲尔兹奖得主担忧 AI 生成证明削弱数学理解、令研究者依赖无法跟上的工具，部分人呼吁抵制这类证明。中国则计划开发专用模型、机器可验证证明和透明 AI 推理。