Odd Lots 播客：AI 如何颠覆数学世界

AI 正在改变数学研究与教学：OpenAI 上月宣布，其 AI 生成了纳维–斯托克斯问题的证明，这一问题是数学界最著名的未解难题之一。与此同时，大语言模型能完成学生作业，大学教师正努力应对 AI 对教学带来的挑战。