Playing with Frankl's conjecture using LLM agents