Evaluating publicly available LLMs on IMO 2025 | Dark Hacker News