今天去上海看望了正在复旦大学数学系读博士二年级的大学本科同学,他博士课题研究的方向是数学分析方向,但是现在也是感受到了 AI 快速发展带来的压力,AI 最先进的模型已经能在一些过去人类很难证明的命题上给出反例,比如前段时间有一个数学家借助 Claude Fable 5 找到了雅可比猜想的一个反例。
和这位朋友聊的更深入后他略显悲观的说可能博士还要延毕一年,论文的进度不及预期,我问他 AI 这么厉害了,不能加速他做的命题的证明过程吗,他说重点是现在命题到底提的对不对他都很难讲清楚,就是问题读到博士二年级了都还没有定义清楚,就算最先进的 AI 模型就是旁边也无从问起。
现在读基础学科方向的博士真的很考验心态了。我每年都会去看望他一次,今年已经是第四年了,感觉今年气色相比去年好多了,可能是心态平和了吧,他也知道做的课题没什么实际用处,就是已经做习惯了,就只能维持这样的生活继续过着。