What is it?
The rate of change of moving in a unit direction : . It proves that is the direction of steepest descent, and it is what forward-mode AD computes (a Jacobian–vector product).
Formulas
Where it shows up in AI
Among unit steps, minimizes : the justification of the method.
Forward-mode AD with dual numbers computes (a JVP) in one pass.
Where is it used?
Computing topics reachable from here, through the chain of ideas that leads to them:
This page has the essentials. A fuller treatment (intuition, formal definition, worked example) is on the way.