it's worth adding, the paper emphasizes this tested full proof generation, not just final answers. USAMO requires rigorous reasoning, a much harder task for LLMs than the answer-focused math competitions (like AIME mentioned in the paper) where they sometimes score well.