Generating and solving difficult logic puzzles with LLMs | Heykuki News