AI-Assisted Proving
AI-assisted proving refers to the use of artificial intelligence techniques to assist in the proof of mathematical theorems. Formalized data serves as high-quality corpus for training AI proving systems and improving machine reasoning capabilities.
Timeline (last 90 days)
The AI-assisted proof constructs a counterexample to a version of the Navier-Stokes equations with a smooth external force, in which the smooth external force exactly cancels the terms in the equation to form a special vortex, leading to finite-time blow-up.
The vortex constructed in the AI-assisted proof thins through three-dimensional stretching, with the vortex radius continuously shrinking and energy remaining finite, while the local vorticity tends to infinity, achieving blow-up.
All Facts (2)
The vortex constructed in the AI-assisted proof thins through three-dimensional stretching, with the vortex radius continuously shrinking and energy remaining finite, while the local vorticity tends to infinity, achieving blow-up.
50%UnverifiedThe AI-assisted proof constructs a counterexample to a version of the Navier-Stokes equations with a smooth external force, in which the smooth external force exactly cancels the terms in the equation to form a special vortex, leading to finite-time blow-up.
50%