An Empirical Study on Challenging Math Problem Solving with GPT-4