AI at IMO 2025: a round-up | Dark Hacker News