IMO 2025: How well will AI do? | Hacker News Reader