[ASoT] Natural abstractions and AlphaZero — LessWrong