AI at IMO 2025: a round-up

3 points| hcarlens | 7 months ago |xenaproject.wordpress.com