Epoch confirms GPT5.4 Pro solved a frontier math open problem

Solution Update: This problem has been solved! A solution was first elicited by Kevin Barreto and Liam Price, using GPT-5.4 Pro. This solution was confirmed by problem contributor Will Brian, and will be written up for publication. A full transcript of the original conversation with GPT-5.4 Pro can be found here and GPT-5.4 Pro’s write-up from the end of that transcript can be found here.

Brian’s comments: “This is an exciting solution to a problem I find very interesting. I had previously wondered if the AI’s approach might be possible, but it seemed hard to work out. Now I see that it works out perfectly. It eliminates an inefficiency in our lower-bound construction and in some sense mirrors the intricacy of our upper-bound construction. The matching lower and upper bounds are quite good for Ramsey-theoretic problems, and I’m interested in further understanding why this works out so well.”

Brian plans to write up the solution for publication, possibly including follow-on work spurred by the AI’s ideas. Barreto and Price have the option of being coauthors on any resulting papers. We will update this page with links to future work.

Subsequent to this solve, we finished developing our general scaffold for testing models on FrontierMath: Open Problems. In this scaffold, several other models were able to solve the problem as well: Opus 4.6 (max), Gemini 3.1 Pro, and GPT-5.4 (xhigh).

Original Description: This problem is about improving lower bounds on the values of a sequence, (H(n)), that arises in the study of simultaneous convergence of sets of infinite series, defined as follows.

A hypergraph ((V,\mathcal H)) is said to contain a partition of size (n) if there is some (D \subseteq V) and (\mathcal P \subseteq \mathcal H) such that (|D| = n) and every member of (D) is contained in exactly one member of (\mathcal P). (H(n)) is the greatest (k \in \mathbb{N}) such that there is a hypergraph ((V,\mathcal H)) with (|V| = k) having no isolated vertices and containing no partitions of size greater than (n).

It is believed that the best-known lower bounds for (H(n)) are suboptimal, even asymptotically, and that they can be improved by finding new constructions of hypergraphs. The goal of this problem is to find such a construction.

Warm-up: we ask for a value of (n) where constructions are already known.

Single Challenge: we ask for a value of (n) for which no construction is known, and which is probably too hard to brute-force.

Full Problem: we ask for a general algorithm for all (n).