A arxiv.org Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad 6 points mauriziocalo 1 year ago 1 comments