peteyreplies

no profile record

comments

vor 12 Monatendiscuss

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

vor 12 Monatendiscuss

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