Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad