AI 如何颠覆数学界：从破解难题到重塑教育

AI 正在快速改变数学教学与专业研究方式，大语言模型已从不擅长计数发展到尝试解决困扰人类数十年的数学难题。针对上月 OpenAI 宣布生成纳维-斯托克斯（Navier-Stokes）问题证明等进展，MIT 工程教育副院长 Justin Solomon 解读了数学界对 AI 前沿的应对、该证明难以被专业人士解析的原因，以及高校在应对大模型代写作业时所调整的教学方法。