Daniel Litt 长文展望 AI 时代数学实践：从证明定理转向人类理解

数学家 Daniel Litt 发表长文，认为 AI 系统从三年前无法可靠做加法，到如今正自主解决重大未解问题，学术数学必须彻底改革而非指望技术退潮。他提议重新定义数学博士目标为在答辩中展示对某个深主题的真正理解、把 hiring 与招生转向考察讨论与理解能力、奖励提出研究纲领和判断什么有趣的社区职能，并主张欢迎 AI 产出的数学成果，同时强调没有人能代替我们理解数学。