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