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

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