OpenAI announced that it has solved the Navier-Stokes existence and smoothness problem, a long-standing mathematical puzzle, using thousands of agents. This development has prompted discussions within the mathematics community regarding the implications of artificial intelligence in creative and academic fields. Juspreet Singh Sandhu, a mathematician at Colorado State University, noted that the approach taken by OpenAI, which relied on brute force, may undermine human understanding of mathematical concepts.
Mathematicians typically engage in a thoughtful process to develop ideas, akin to artistic exploration, rather than focusing solely on rapid answers. G. H. Hardy, an English mathematician, compared mathematicians to artists in his essay "A Mathematician’s Apology," emphasizing the intrinsic value of mathematics. Despite Hardy's advocacy for "useless" mathematics, the field has historically found applications for concepts that initially seemed impractical, such as number theory in encryption protocols.
The Navier-Stokes equations, developed in the 19th century to describe fluid flow, have captivated mathematicians due to their complexity rather than their engineering applications. Jared Speck, a mathematician at Vanderbilt University, stated that the allure of the equations lies in their mathematical richness and the puzzle-like nature of the questions they pose. The recent proof by OpenAI, while solving a longstanding question, has been criticized for its lack of transparency and the potential for misattribution of prior work.
The proof is currently under peer review, and experts have expressed concerns regarding the understanding of the solution. Sandhu mentioned an online declaration titled “A Severe Misalignment of AI in Mathematics,” signed by Fields Medal winners, which argues that mass-producing proofs could hinder the development of new ideas. OpenAI has formed an advisory group of mathematicians to address these concerns and ensure meaningful engagement with the math community.
While AI can perform calculations quickly, mathematicians like Lorenzo Gavassino from the University of Cambridge worry that reliance on AI may stifle creativity. Historical examples, such as the invention of imaginary numbers, illustrate how challenging problems can lead to significant advancements in mathematics. Gavassino emphasized that the process of grappling with difficult concepts is crucial for innovation.
The mathematical community has traditionally employed a teacher-apprentice model to foster sustainable discovery, but the rise of AI may disrupt this dynamic by taking on simpler problems, potentially limiting training opportunities for younger researchers. The creative process that led to the development of AI models is rooted in the very mathematics that these models now utilize. As AI companies seek to maximize profits, there are concerns that the foundational community may be overlooked in favor of rapid technological advancement.