The “smart guessing” approach reminds me a lot of SAT solving. Certain search problems become easier when you introduce randomness and clever heuristics to optimize and guide your guesses.

Edit: And here’s a link to the paper discussed in the article for anyone who is curious:

https://arxiv.org/abs/2007.10254