Model Golf – code golf, but with LLMs