Gap between commercial and open-source LLMs for Olympiad-level math is shrinking (aimoprize.com)