Coborârea gradientului este un instrument puternic pentru spațiile de optimizare care verifică ipoteza varietății, dar spațiul raționamentului este discret și combinatoriu. GD eșuează în peisaje asemănătoare stâncilor, unde o singură schimbare discretă (un pas logic) modifică întregul rezultat. Decât dacă...???