Epoch confirms GPT5.4 Pro solved a Frontier Math Open Problem for the first time

Epoch confirmed that GPT-5.4 Pro became the first AI to solve a Frontier Math Open Problem, specifically improving lower bounds on a hypergraph sequence H(n) related to Ramsey theory. The solution, elicited by Kevin Barreto and Liam Price, was verified by problem contributor Will Brian, who praised it for eliminating inefficiency in existing constructions. Subsequently, other models including Opus 4.6 (max) and Gemini 3.1 Pro also solved the problem using a general scaffold.