From Levin's Universal Search to Policy-Guided Tree Search. - Li, Ming (Entropy, 2026)