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

4 hours ago

A solution to a hypergraph problem was found by Kevin Barreto and Liam Price using GPT-5.4 Pro.
The solution was confirmed by Will Brian and will be written up for publication.
The problem involves improving lower bounds on the sequence H(n), related to hypergraphs without large partitions.
Other models like Opus 4.6 (max), Gemini 3.1 Pro, and GPT-5.4 (xhigh) also solved the problem.
The solution improves the lower bound for H(n) by a constant factor and includes an algorithm for generating witness hypergraphs.
Will Brian plans to publish the solution, possibly with Barreto and Price as coauthors.

Hasty Briefsbeta