Lex Fridman播客精读｜AI冲击下，数学家还剩下什么？

罗格斯大学研究数论和Lean的Alex Kontorovich。视频讨论了纳维-斯托克斯方程，黎曼猜想和计算复杂性理论，起因是几周之内，AI宣称接连拿下了这些领域里悬而未决的难题。三位数学家从各自的专业出发拆解了几件事：这些成果到底有多大分量，AI是在创造新思想还是在重组旧方法。当「解题」可以交给机器之后，数学家还剩下什么……Lex问，答案会来自数学，还是让AI盯着流体看一阵？Lex接着说，当AI让智能变得廉价，要知道，智能和那些谜题不过是锦上添花，真正重要的是生活本身，和生活里的人。