Solving Math’s Greatest Problems Was an Art Form. Then Came AI (www.wired.com)

OpenAI has made headlines by claiming to solve the longstanding Navier-Stokes existence and smoothness problem, a significant mathematical enigma concerning fluid dynamics that has intrigued mathematicians for over 150 years. This breakthrough, achieved using thousands of AI agents, underscores the potential of AI to tackle complex mathematical challenges traditionally seen as the realm of human creativity and insight. However, the approach taken by OpenAI—relying on brute force rather than a nuanced understanding—has raised concerns among mathematicians about the implications for the field, including the risk of undermining the deep conceptual engagement that characterizes mathematical inquiry. Critics, including notable mathematicians, argue that the lack of transparency in the AI's methods and the absence of a robust understanding of the proof process threaten to erode the culture of mathematical exploration. As AI systems handle complex calculations at unprecedented speed, there are fears that this may stifle human creativity and learning opportunities for emerging researchers. While some view AI as a new tool for mathematicians, others caution that over-reliance on these technologies could diminish the very foundational processes that catalyze innovative mathematical thinking, ultimately impacting future discoveries and advances in the discipline.