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

GPT-5.4 Pro became the first AI to solve a FrontierMath open problem — a Ramsey hypergraph lower-bound problem — with the solution confirmed by the problem's contributor and slated for publication. The solve was subsequently replicated by Opus 4.6, Gemini 3.1 Pro, and GPT-5.4 (xhigh), suggesting frontier math capability has crossed a meaningful threshold across top models. The human elicitors (Barreto and Price) have been offered co-authorship on the resulting paper.