Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad [pdf] | Heykuki News