由 Tracy Alloway 和 Joe Weisenthal 撰写。
上个月，OpenAI 宣布其生成了一个由 AI 生成的纳维-斯托克斯问题证明，这是数学界最著名的未解难题之一。
Last month, OpenAI announced that it had produced an AI-generated proof for the Navier-Stokes problem, one of the most famous unsolved questions in mathematics.
大语言模型（LLM）过去不擅长计数，但现在它们正在解决困扰人类数十年的数学问题。
LLMs used to be bad at counting, but now they are solving math problems that have stumped humans for decades.
与此同时，在大学里，AI 在教育中的问题持续存在：现在 LLM 可以完成学生的作业，教师们难以应对。
Meanwhile, at universities, the problem of AI in education continues: Now that LLMs can do a student's homework, teachers are struggling to keep up.
显然，AI 正在迅速改变数学的教学方式以及专业人士从事数学实践的方式。
It is clear that AI is very quickly changing how math is taught and how it is practiced by professionals.