TechMar 24, 20264 minGPT-5.4 Pro solved a Ramsey hypergraph problem in FrontierMath for the first time, and also pushed Brian-Larson asymptoticsGPT-5.4 Pro became the first model to solve a researcher-level open problem in FrontierMath, a benchmark managed by Epoch AI. Claude Opus 4.6 and Gemini 3.1 Pro later solved it as well.GPTClaudeGeminiFrontierMathAIMachineLearning