iirc, the IMO system automatically translates the questions into 50 languages, after they are entered in English.

To be clear, AIs didn't beat IMO, or the best human competitors at IMO, on these terms.

thanks!