西方数学家担心人工智能让他们变笨,而中国正在为其建立整个联盟
decoder ·
全球数学界在人工智能的融合方面出现了鲜明对比。在中国,菲尔兹奖得主丘成桐在北京启动了“丘成桐数学与人工智能实验室联盟”,以加速AI在研究中的应用。该新联盟联合了八家机构,旨在建立一个拥有超过1000名研究人员网络,开发专用模型和机器可验证的证明。相比之下,西方数学家对这项技术对其领域的影响表示深切怀疑。包括陶哲轩和彼得·朔尔策在内的知名人物担心,依赖AI生成的证明会削弱真正的数学理解,并造成危险的依赖。西方社区的一些成员甚至呼吁抵制自动化提交,因为担心透明度和洞察力问题。中国致力于构建透明的AI推理系统,而西方则在AI是提供真正洞察还是仅仅通过暴力穷举求解的问题上存在分歧。
decoder