Contrastive Representations Provably Enable Planning and Inference | Hacker News Reader