On September 8, OpenAI announced that its AI agents had tackled the Navier-Stokes problem, a renowned and notoriously challenging question in the realm of mathematics. While a human mathematician achieving this milestone would have earned both accolades and financial rewards, the declaration from OpenAI triggered what many in the mathematical community are calling an "existential crisis" regarding the implications of AI and sparked concerns about the company's potential misuse of prior human contributions.
The mathematics underpinning the Navier-Stokes equations can be quite complex; however, the criticisms from mathematicians are rather familiar to those in creative fields, corporate environments, or anyone engaged with AI technology. The outcomes produced by OpenAI, like those from any advanced language model, stem from synthesizing the work of human mathematicians. Although the OpenAI publication references various sources, skepticism persists about whether adequate credit was granted, especially to those mathematicians who were nearing a solution themselves. This perceived oversight not only undermines human innovation but also concentrates recognition and reward in the hands of the AI developers. Mathematician Tristan Buckmaster voiced concerns regarding whether his research on Navier-Stokes, conducted using OpenAI's Codex model, had been viewed by their team. OpenAI denied having direct access to his work but acknowledged that data from his engagement with their tools might have contributed to the enhancement of their models.
The absence of proper acknowledgment and compensation for the intellectual efforts that fuel AI development has led to growing discontent among those in the academic community. This issue is particularly pressing in mathematics; as noted by countless mathematicians, AI companies often tout the mathematical capabilities of their models as promotional tools, yet they depend on mathematicians to validate their frequently rough and confusing calculations, determining their utility and applicability. While a movie or vaccine produced by AI might demonstrate immediate, practical value, assessing whether OpenAI's claimed solution offers any genuine mathematical insights will require significant time and intellectual investment from people. This scenario could have fostered collaboration, but instead it has augmented feelings of alienation and frustration.
Nonetheless, mathematicians remain surprisingly receptive to the integration of AI, even as they express their discontent through open letters aimed at tech companies. Many acknowledge the undeniable capabilities of AI, particularly in mathematical tasks. Engaging discussions are emerging around how mathematics can evolve alongside AI, with human intellect guiding and interpreting its outputs. There has been introspection about whether attributing success to either the developer or the machine that reaches a noteworthy conclusion in the form of a mathematical proof truly reflects the value of the contributions involved. Bill Thurston, a Fields Medal-winning mathematician, articulated this perspective well in 2010, stating, "The product of mathematics is clarity and understanding, not theorems in isolation." These attributes remain distinctly human.
Some AI skeptics persist in labeling its results as entirely devoid of merit, referring to them as mere "slop." AI won't master every domain, but an increasing number of individuals may find themselves in the same predicament as mathematicians—recognizing AI's undeniable efficiency while harboring serious concerns about its implementation. Mathematician Nestor Guillen recently posited that this anxiety would likely dissipate if there were a distinction between technology and the firms behind it, advocating for a democratization of its use. The urgency to find pathways for this separation and democratization becomes ever more apparent.
