AI reshaping mathematics and education

Last month, OpenAI unveiled an AI-generated proof for the Navier-Stokes problem, marking a significant milestone in the field. While large language models (LLMs) were once limited in their ability to perform mathematical tasks, they are now tackling complex problems that have perplexed mathematicians for decades. At the same time, educators are grappling with the implications of AI in classrooms, as students increasingly rely on LLMs to complete assignments. Justin Solomon, associate dean for engineering education at MIT, discusses how mathematicians, both pure and applied, are adapting to the rapid advancements in AI. He elaborates on the intricacies of the Navier-Stokes problem and the challenges in interpreting OpenAI's proof. Solomon also addresses common misconceptions about mathematicians' work and shares his evolving approach to teaching in an AI-driven era. Bloomberg reports that OpenAI's recent proofs have not yet met the rigorous standards set by mathematical researchers.