GPT-5.4 Pro cracked the first open problem in the FrontierMath Open Problems benchmark. Will Brian, who posed the conjecture in 2019, called it an exciting solution that eliminated an inefficiency in his construction.
Epoch notes a consistent pattern: experts consider the general approach but get stuck executing it, and when they see the machine’s solution, they are happy with it.