AI at IMO 2025: a round-up #1 Post by hcarlens » Sun, Aug 03, 2025, 11:20 AM UTC AI at IMO 2025: a round-upxenaproject.wordpress.com