M matharena.ai Evaluating publicly available LLMs on IMO 2025 79 points hardmaru 1 year ago 89 comments