Screenshot pending…Evaluating publicly available LLMs on IMO 2025(matharena.ai)71 points by hardmaru 1 year ago | 85 comments