Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
arxiv.org