⌘ K
… 读取采集状态 同步中...
雷
原文
The Decoder· Manuel Uth·· 10 小时前AI 评分53

西方数学家担忧 AI 削弱理解力,中国联合八所机构成立数学与 AI 联盟

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

AI 导读

西方数学家(包括 25 位菲尔兹奖得主)担心 AI 生成的证明会侵蚀数学理解并引发依赖,部分社区甚至呼吁抵制 AI 生成证明;与此同时,菲尔兹奖得主丘成桐与一组中国顶尖数学家在北京发起“丘成桐数学与人工智能实验室联盟”,联合八所机构,计划建立超过 1000 名研究者的网络,推动在数学研究中构建专业模型、开发机器可验证证明及透明的 AI 推理。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:The Decoder · the-decoder.com