中国成立丘成桐数学与AI实验室联盟 引发学界讨论

2026年10月，丘成桐等数学家在北京发起成立“丘成桐数学与人工智能实验室联盟”，联合8家机构并计划汇聚超过1000名研究人员，旨在研发数学专用模型与机器可验证证明。与此同时，AI对数学研究的影响在国际学界引发审慎讨论。包括陶哲轩在内的25位菲尔兹奖得主对AI生成证明持审慎态度，担忧其侵蚀数学理解力并导致工具依赖，部分学者甚至呼吁抵制自动化证明提交。目前，学界对于AI究竟能产生真正的数学洞见，还是仅通过暴力破解已有方法，仍未达成共识。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。