OpenAI's Navier-Stokes claim splits the math community (forgeeks.net)

OpenAI has announced a formalized result related to the Navier-Stokes equations, addressing the longstanding Millennium Prize Problem concerning the existence and smoothness of solutions to these equations. The claim, which remains unverified, involves using tens of thousands of autonomous agents to demonstrate breakdown scenarios in both whole-space and periodic formats, suggesting that no global smooth solutions exist under certain conditions. The announcement has sparked significant controversy within the mathematical community, primarily due to concerns over credit, data access, and the ethics of utilizing AI tools in ongoing research, as well as specifics regarding the computational resources and methodologies used to achieve these results. This development is significant as it illustrates the tensions arising from the intersection of advanced AI capabilities and traditional mathematical research. While OpenAI's formal proofs are encapsulated in a Lean 4 repository, experts emphasize that computational validation alone does not equate to community acceptance of the results. As the mathematical community grapples with the implications of AI-assisted research, there are calls for clearer attribution practices and the need for cooperative rather than competitive climates in the production of mathematical knowledge. The withdrawal of OpenAI's sponsorship from the upcoming Caltech Mathathon further underscores the urgent need for reconciliation between AI advancements and the integrity of mathematical scholarship.