AI's impact on mathematics isn't adding up

OpenAI recently solved the challenging Navier-Stokes equations and over 700 other math problems, sparking debate among mathematicians about AI's role in the field. While some, like Sam Altman, note growing acceptance, prominent figures like Terence Tao express concern over the loss of traditional mathematical exploration. The disruption is significant enough to impact research programs and provoke strong reactions within the academic community.