西方数学家担忧 AI 削弱数学理解，中国成立数学与 AI 联盟

菲尔兹奖得主丘成桐与中国数学家周日在北京成立「丘数学与人工智能联盟」，联合八家机构并计划建立超过 1000 名研究者的网络。西方 25 位菲尔兹奖得主包括陶哲轩和 Peter Scholze 担忧 AI 生成证明削弱数学理解、让人依赖，有人呼吁抵制 AI 生成的证明；丘成桐则警告中国正落后于美国，计划开发专用模型和机器可验证证明。据《南华早报》报道。