The gap between commercial and open-source LLMs for Olympiad math is shrinking