A Ramsey-style Problem on Hypergraphs (6 minute read)
TLDR AI
•
Generative AI
This post details a problem that would take an expert human about one to three months to solve. The problem was eventually solved by two people using GPT-5.4 Pro. A link to the full transcript of the conversation with GPT-5.4 Pro is available. Other models that have solved the problem include GPT 5.4 (xhigh), Gemini 3.1 Pro, and Claude Opus 4.6 (max