OpenAI's announcement that it solved the Navier-Stokes existence and smoothness problem using thousands of AI agents has rattled the mathematics community. The proof, which addresses a decades-old puzzle about fluid dynamics, was produced through brute force rather than the deliberate, exploratory process mathematicians typically follow. This raises questions about the role of human understanding in a field that has long valued the journey as much as the destination.
Mathematicians like Juspreet Singh Sandhu and Jared Speck argue that the value of mathematics lies not just in the answer but in the insights and new ideas generated along the way. The OpenAI proof, which remains under peer review, lacks transparency and proper attribution, with some suggesting it may have used others' work without credit. This has led to a declaration signed by 25 Fields Medal winners warning that mass-produced proofs could "destroy fertile ground" for new ideas.
For the business of mathematics, this represents a potential shift in how research is conducted. If AI can produce results without human understanding, the field may need to redefine what constitutes a valid contribution. The solution itself is described as "useless" in practical terms, but the controversy highlights the tension between efficiency and the artistic, exploratory nature of mathematical discovery. As Sandhu notes, "basically nobody in my community really understands what's going on," underscoring the need for new norms around AI-generated proofs.