Discovering Mathematical Formulas from Data via GPT-guided Monte Carlo Tree Search