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