OpenAI said last month it produced an AI-generated proof for the Navier-Stokes problem, according to Bloomberg. The report says large language models, once poor at counting, are now solving math problems that have challenged humans for decades.

Bloomberg also said AI is complicating education, with teachers struggling as LLMs can now do students' homework. Justin Solomon, associate dean for engineering education at the Massachusetts Institute of Technology, discusses how mathematicians are responding and how he is changing his teaching approach.