Gradientnedstigning är ett kraftfullt verktyg för optimeringsrum som verifierar mångfaldhypotesen, men resonemangets rum är diskret och kombinatoriskt. GD misslyckas i klippliknande landskap där en enda diskret förändring (ett logiskt steg) förändrar hela resultatet. Om inte...???