The Decoder· Manuel Uth·· 2 小时前精选AI 评分50
西方数学家担忧 AI 让研究者变笨，中国成立丘成桐数学与 AI 联盟
Western mathematicians fear AI makes them dumber while China builds an entire alliance for it
AI 导读
Fields Medal 得主丘成桐在北京联合八家机构成立丘成桐数学与人工智能联盟，目标建立超过 1000 名研究者的网络，将 AI 推向数学研究。西方 25 位 Fields Medal 得主包括陶哲轩和 Peter Scholze 担忧 AI 生成证明会削弱数学理解力，部分人呼吁抵制自动化证明；中国则计划构建专用模型、开发机器可验证证明和透明 AI 推理。
推荐理由
对比了西方数学家对 AI 辅助证明的警惕与中国推动 AI 数学研究的联盟布局，读者可借此观察两种路径对学术生态的不同影响。
来源：The Decoder · the-decoder.com