Contrastive Representations Provably Enable Planning and Inference | Dark Hacker News