ParentFull threadlxgr·Knowing whether (ostensible) solutions are easy or costly to verify is key to using LLMs efficiently.View on HN