52
2Hello，大家好，欢迎来到《下一部电梯》播客栏目，我是南飞。这是一档关于 AI 大问题的闲聊播客。在这里，我们不做商业分析、技术分析，也不教大家怎样使用 AI，更不想传播焦虑。我们更像是一群有着不同背景的年轻人，坐下来聊一聊那些自己也还没有答案的大问题。
今天这期谈话的嘉宾，是我本科数学系的一位好朋友，现在是中科大数学系的一名在读博士生，研究组合、极值图论。本科的时候，他就很有数学天分，常常能想到一些让我非常惊叹的思考方式。不过，在数学之外，他还有一个看起来不太相关的爱好，就是调酒。当时我们的寝室就在隔壁，我也经常跑过去，免费蹭一点他调的酒喝。
所以这一次，我们干脆把谈话搬进了一间酒吧，来聊一聊ai时代下的数学。最近几个月，AI 开始频繁挑战、推进，甚至解决一些长期公开的数学问题比如平面单位距离猜想，jacobian等等猜想等等。对数学界来说，这或许是一件令人兴奋的事情；但对一个正在学习如何成为数学家的年轻人来说，它也可能意味着，自己刚选择的道路，正在发生剧变。
所以我非常好奇，作为数学系的博士生对ai的看法到底是什么，是感觉到自己要被取代的焦虑，还是问题被解决的兴奋。以及未来数学研究者的生存状态会是怎样。
本期播客大约40分钟，大家可以按照时间轴，自行跳转到感兴趣的部分。那么话不多说，让我们正式开始今天这场谈话吧。
时间轴：
02:31 数学竞赛的技巧，与真正做研究有什么不同？
06:52 AI 开始批量挑战 Erdős 问题：公开猜想被迅速解决，数学家应该兴奋还是焦虑？
11:05 从辅助证明到提出新问题：AI 走到哪一步，才算真正取代了数学家？
12:51 AI 证明了一个困扰自己半年的引理
16:03 如果 AI 证明了一切，却再也没有人能够理解，新的数学结果还有意义吗？
19:21 当 AI 能做题以后，数学教育还有什么意义？数学会不会重新变成一种脑力游戏？
27:29 我们为什么总忍不住把工具人格化？
30:06 AI 真的理解数学吗？当人脑和神经网络都是黑箱，“理解”这个问题是否成立？
35:58 快问快答
43:31 最后的答案仍然是“学会与它共存”
