The paper tackles a long-standing mathematical question about how gradient flows behave. A gradient flow is a path traced by a point as it moves in the direction of steepest descent of some function, like a ball rolling downhill. The central question is whether such paths eventually settle into a definite direction as they travel far from their starting point, or whether they might keep changing direction indefinitely, spiraling or oscillating forever. The authors prove that for a broad and practically important class of functions called "definable" functions (which includes polynomials, exponentials, logarithms, and most functions encountered in practice), the answer is clear: the path always converges to a single limiting direction. More precisely, if you project the trajectory onto a sphere to track only its angular motion, that projected path has finite total length. The function need not have a minimum and the path need not stay bounded; the result holds regardless.
The technical setting relies on a framework called o-minimal geometry, which is a branch of mathematics that identifies classes of functions and sets that are geometrically "tame" and avoid pathological behavior like infinite oscillation. Functions definable in an o-minimal structure include virtually everything used in science and engineering. The authors resolve two open conjectures at once: the gradient conjecture at infinity (which asks whether gradient trajectories converge in direction as they escape to infinity) and the Thom gradient conjecture (which asks about directional convergence in general). They handle both bounded and unbounded trajectories, and they allow for situations where the gradient flow equation might have multiple solutions, which is a significant technical complication that earlier work often avoided.
The authors then apply their result to the training of deep neural networks, where optimization is typically performed by following the gradient of a loss function. If the activation functions and loss function are definable and continuously differentiable, their theorem guarantees that the sequence of model parameters traced during training always converges in direction, even if the parameters themselves grow without bound. This is a meaningful theoretical assurance: no matter how complex or deep the network, the training trajectory cannot keep spinning in different directions forever. It must eventually commit to moving in a stable limiting direction, which has implications for understanding the long-term behavior and convergence properties of neural network training.