每天听简报，了解最新科技、AI、软件资讯
数学家Jeremy Avigad认为，AI越来越会解题后，选择什么问题和理解答案会变得更关键。这是他十月五日在陶哲轩博客上的客座文章，观点属于Avigad。他担心，把题交给AI做，获得结果与自己增进理解会逐渐脱节。他用徒步作比喻：可以让AI订机票，但让它替你走完山路，只寄回照片，就失去了原本的体验。在数学中，他强调研究者仍要决定哪些问题值得追，哪些概念有解释力。他也主张，把开发证明助手和训练神经网络算作数学贡献。他同时承认，年轻研究者正面临职业路径变化，学界需要支持他们继续参与研究。
进度保存在本设备 · 登录同步