In case it wasn’t clear, I consider the provable checkers solver to be an optimization process—indeed, the maximally powerful (if not maximally efficient) optimizer for the domain “checkers from the canonical starting point”. That it is deterministic or provably correct is entirely irrelevant.
In case it wasn’t clear, I consider the provable checkers solver to be an optimization process—indeed, the maximally powerful (if not maximally efficient) optimizer for the domain “checkers from the canonical starting point”. That it is deterministic or provably correct is entirely irrelevant.