借数学AI结果讨论科研方向变迁，AI对数学研究影响深远。

鉴于最近的数学AI结果，讲一个故事。去年十二月，我邀请Julia Kempe（@KempeLab）来播客，问她想聊什么。她说：现在数学已经失守，研究人员应该追什么？那是去年十二月。模型远未接近解决开放问题。所以我问，你的意思是我们该讨论AI目前在数学上能解决什么吗？她说，不，Ravid。我们所知的数学已经永远改变，数学家的研究工作也变了。问题在于他们还不知道。今天这听起来显而易见。当时这只是一个杰出科学家预见趋势的又一个例子。