The Decoder· Manuel Uth·· 20 天前AI 评分64
西方学者忧虑AI削弱数学理解，丘成桐等联合成立数学与AI联盟
Western mathematicians fear AI makes them dumber while China builds an entire alliance for it
AI 导读
丘成桐等学者在北京成立数学与人工智能实验室联盟，联合8家机构并计划构建超1000名研究人员的网络，以推进专用模型和机器可验证证明。与此同时，陶哲轩等25位菲尔兹奖得主对AI证明表达担忧，认为其可能削弱数学理解并导致学者依赖不可追溯的工具，部分数学界人士甚至呼吁抵制自动化提交。
来源：The Decoder · the-decoder.com