This is exciting...LLMs solve an open math problem
https://epoch.ai/frontiermath/open-problems/ramsey-hypergraphs
Construct hypergraphs as large as possible that do not have a certain easy-to-check, difficult-to-find property.
chapulin