First AI solution on FrontierMath: Open Problems

AI has solved one of the problems in FrontierMath: Open Problems, our benchmark of real research problems that mathematicians have tried and failed to solve

The newly-solved problem came from Will Brian, who had placed it in the Moderately Interesting category. It is a conjecture from a paper he wrote with Paul Larson in 2019. They were unable to solve it at the time, or in several attempts since. Brian had this to say.

Brian plans to write up the solution for publication, possibly including follow-on work spurred by the AI’s ideas. This matches his prospective assessment: a solution would be publishable in a standard speciality journal, and would be fairly likely to generate new questions.

Congratulations to Kevin Barreto and Liam Price, who first elicited a solution from GPT-5.4 Pro! They have the option to be coauthors, with Brian, on any resulting paper. Congratulations also to Geby Jaff who elicited a solution shortly thereafter.

We have replicated this elicitation in our scaffold for testing models on the problems. In this scaffold, Gemini 3.1 Pro, GPT-5.4 (xhigh), and Opus 4.6 (max) are all capable of solving the problem at least some of the time. For more about the problem, including a full chat transcript showing GPT-5.4 Pro’s original solution, and other models’ solutions in our harness, see the problem page on our website.

And check out the main FrontierMath: Open Problems page to learn more about the benchmark. So far one Moderately Interesting problem has been solved. Which problem will be solved next, and when?

---