西方数学界担忧 AI 导致能力退化，中国成立联盟推动 AI 数学研究

菲尔兹奖得主丘成桐在北京发起“丘成桐数学与人工智能实验室联盟”，联合八家机构构建超 1,000 人的研究网络，旨在推动 AI 在数学研究中的应用。与此同时，西方数学界对此持怀疑态度，包括陶哲轩在内的 25 位菲尔兹奖得主担忧 AI 生成证明会削弱数学理解力并引发学术依赖。目前，中国正致力于开发专用模型、机器可验证证明及透明的 AI 推理技术。