They used an LLM which generated millions of programs as part of an evolutionary search. A few of these programs were able to generate the size-512 Cap Set. This isn't a hugely important problem, but there was preexisting interest in it. I don't think it was particularly low-hanging fruit; there have been some followup papers using alternative scaffolding and LLMs, and the 512 result ... (read more)
I think DeepMind's FunSearch result, showing the existence of a Cap Set of size 512 for n=8, might qualify:
https://www.nature.com/articles/s41586-023-06924-6
They used an LLM which generated millions of programs as part of an evolutionary search. A few of these programs were able to generate the size-512 Cap Set. This isn't a hugely important problem, but there was preexisting interest in it. I don't think it was particularly low-hanging fruit; there have been some followup papers using alternative scaffolding and LLMs, and the 512 result ... (read more)