上个月，OpenAI宣布其AI生成了纳维-斯托克斯问题的证明，这是数学界最著名的未解难题之一。就在几年前，大型语言模型（LLM）还以不擅长计数而闻名。如今，它们正在攻克困扰人类数十年的数学问题，这也引出了一个尖锐的疑问：职业数学家还剩下什么可做？
这一转变也在重塑课堂。既然LLM能够完成学生的作业，大学教师正竭力跟上人工智能在教育中带来的挑战。显而易见，AI正在迅速改变数学的教授方式以及专业人士的实践方式，其影响来得很快。
在本期《Odd Lots》节目中，麻省理工学院工程教育副院长Justin Solomon介绍了纯数学家和应用数学家如何应对这些进展。他解释了纳维-斯托克斯问题究竟是什么，以及为何连专家也难以理解OpenAI的证明。
Solomon还讨论了电影在数学家工作方式上的错误描绘，以及他在AI时代如何调整自己的教学方法。
来源: Bloomberg Markets · 由HeadlinesBriefing整理摘要