Gap between commercial and open-source LLMs for Olympiad-level math is shrinking