peteyreplies

no profile record

comments

12 tháng trướcdiscuss

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

12 tháng trướcdiscuss

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