Bloomberg: AI Is Upending Mathematics, From Navier-Stokes to Teaching

OpenAI said it produced an AI-generated proof for the Navier-Stokes problem that even experts struggle to parse. MIT's Justin Solomon explains how AI is changing both math education and professional practice.

• OpenAI announced an AI-generated proof for the Navier-Stokes problem
• MIT professor explains why the proof is hard even for pros to parse
• AI is reshaping both math teaching and professional practice