日前，在纯数学与应用数学国家研究所（IPAM）举办的研讨会上，菲尔兹奖得主陶哲轩以及OpenAI首席研究员马克·陈（Mark Chen）参加了“炉边对话”，两人谈到了AI在过去一年中的飞跃式进展，以及它将如何从根本上改变数学研究的方式。 在对话中，陶哲轩与马克·陈讨论了AI能力的关键变化：一年前，陶哲轩曾评价GPT在数学上的表现“像一个非常低效的研究生”，而今天，AI已在IMO竞赛中斩获金牌级成绩，人类编写的基准测试正被迅速“刷爆”。 可以说，在数学领域，大模型基本摘掉了“学渣”的标签。 在陶哲轩看来，数学是实验便宜的地方，也是试错便宜的地方。“如果你是工程师，桥塌了，那是昂贵的错误；如果你是外科医生，切错了器官，那是昂贵的错误。” 随着AI开始快速解决部分长期无人问津的Erdős问题，数学界也在重新思考研究分工、人机协作以及教育体系的变化。当计算与验证可以外包给机器，数学研究的形态可能正悄然发生转变。 以下是陶哲轩与马克·陈“炉边对话”精华版： 问：一年前你们对AI在数学中的表现有何评价？过去一年发生了哪些变化？ 陶哲轩：变化非常大。AI本身在进步，但更重...