菲尔兹奖得主 Litt 谈 LLM 对数学界的人才冲击

菲尔兹奖得主 Daniel Litt 引用年轻数学家的观点指出，随着 LLM 证明日益繁荣，未来真正能理解这些证明的人未必愿耗费一生去检查 LLM 的日志，数学界可能面临人才断层。他补充个人立场称，AI 只是工具与搭档，用 AI「消化」数学并不令他兴奋，他仍计划继续独立提出有趣的数学问题。