How AI Is Upending the World of Mathematics

Justin Solomon, associate dean for engineering education at MIT, joins to discuss how AI is transforming mathematics. The conversation centers on OpenAI's recent AI-generated proof for the Navier-Stokes problem, a landmark achievement that still challenges the experts to parse. Solomon outlines how the math community is grappling with AI, from the impact on university teaching—where LLMs can now do homework—to the need for pedagogical reform. He also touches on how popular portrayals of mathematicians differ from reality.