Gap between commercial and open-source LLMs for Olympiad-level math is shrinking | Dark Hacker News