Model golf – code golf, but with LLMs