Yes, but there's no way to tell how many times the prompt was tried before a proof was found; and that only stopped when a human said it could stop.