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

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 https://arxiv.org/abs/2007.10254