A friend sent me "Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad" and now I'm wondering if I should update my timelines