Isn’t finding a proof stochastic? It doesn’t take a fixed amount of time?

Do there can’t be steady a “progress” bar