Bloomberg
In an interview with Bloomberg, Prof. Justin Solomon discusses how mathematicians are responding to advances in AI in the wake of an AI platform solving the Navier-Stokes problem. “The really interesting part [of proof writing] is the modeling and figuring out which questions to ask and what insights they bring us to the universe, and the AI tools are not doing that,” says Solomon. “Writing the prompts is very much what we’ve been teaching our students to do for centuries now, and that skill, I think, persists.”