西方数学家担忧 AI 削弱数学能力，中国成立丘成桐领衔的数学与 AI 联盟

Western mathematicians fear AI makes them dumber while China builds an entire alliance for it

菲尔兹奖得主丘成桐等中国数学家在北京发起"丘成桐数学与人工智能实验室联盟"，联合八家机构，目标建成超 1000 名研究者的网络，推动 AI 进入数学研究。与此同时，包括 Terence Tao、Peter Scholze 在内的 25 位菲尔兹奖得主担忧 AI 生成的证明侵蚀数学理解、让研究者依赖无法跟进的工具，部分学界人士呼吁抵制 AI 生成的证明。