GPT-5.4 Just Solved a 60-Year-Old Math Problem