OpenAI Claims Breakthrough on 90-Year-Old Navier-Stokes Problem
OpenAI on Tuesday announced that it had resolved a nearly 90-year-old mathematics problem known as the “Navier-Stokes existence and smoothness problem.” This problem enquires whether the equations that describe the movement of fluids, such as water and air, can experience breakdown under extreme conditions. The issue, often identified as Navier-Stokes, derives its name from the 19th-century mathematicians Claude-Louis Navier and George Gabriel Stokes. It is one of the seven Millennium Prize Problems designated by the Clay Mathematics Institute in the year 2000. The institute announced a prize of $1 million for the resolution of each problem presented. Prior to OpenAI’s announcement, merely one out of the seven had been resolved. OpenAI stated that its internal AI system demonstrated that smooth fluid flow can lead to a singularity – a point at which the fluid’s velocity increases indefinitely within a finite timeframe. What precisely constitutes the problem, and what factors have contributed to its status as one of the most significant unresolved questions in mathematics for decades?
The Navier-Stokes equations represent a collection of mathematical formulations that articulate the dynamics of fluid motion. This encompasses liquids like water and gases such as air. The equations employ Newton’s second law of motion, which posits that force is equivalent to an object’s mass multiplied by its acceleration, and conceptualise a fluid as a continuous medium rather than monitoring individual molecules. They serve to comprehend and anticipate the dynamics of fluids in practical scenarios, encompassing phenomena such as meteorological patterns, oceanic currents, and the aerodynamics surrounding an aircraft. However, the issue extends beyond merely addressing these equations. There exists a fundamental inquiry that has eluded mathematicians for decades: Is it possible for these equations to fail under extreme conditions? In other words, if a fluid initiates its motion in a smooth manner, could it reach a point where its dynamics become so extreme that the governing equations fail to accurately describe the phenomena occurring?
The challenge is in comprehending whether fluid motion can achieve infinite speed within a finite timeframe – a scenario referred to by mathematicians as a singularity. This is where viscosity becomes relevant. Viscosity refers to the degree of resistance that a fluid exhibits against flow. Honey, for instance, exhibits a greater viscosity compared to water. It typically aids in the stabilisation of fluid dynamics. The question is whether this smoothing effect is consistently sufficient to avert a singularity, or if a fluid can still attain a state where its velocity becomes unbounded. If such a singularity can form, it would imply that the Navier-Stokes equations are insufficient to fully characterise the fluid’s behaviour under those conditions. OpenAI reported that its internal AI system generated an analytical proof demonstrating that a fluid flow, which begins as smooth, can evolve into a singularity within a finite timeframe. In other words, it demonstrated a scenario in which the fluid’s velocity can increase indefinitely, leading to a breakdown of the equations.
The solution involves a vortex – a spinning swirl of fluid – that spirals inward and becomes increasingly elongated. As the central region diminishes, the fluid accelerates, maintaining a finite level of energy, according to OpenAI. The mathematical challenge was to demonstrate that this breakdown could arise from the fluid’s own motion, rather than merely by applying an infinitely large force. OpenAI stated that the various terms in the equations, such as acceleration, pressure, momentum transfer, and viscosity, grow significantly large yet offset each other in a remarkably precise manner. This permits the external force to maintain a consistent profile despite the fluid’s velocity increasing indefinitely. OpenAI indicated that the outcome aligns with statements “C” and “D” as outlined in the Clay Mathematics Institute’s formulation of the Navier-Stokes problem. It also resulted in a formalisation of the proof in Lean, a computer-based system employed to verify mathematical proofs. The company, however, stated that it does not plan to pursue the $1 million Millennium Prize for the outcome.
