8 ms·AI giants tried to storm the last human stronghold: the math olympiads3 points by tethys 6mo ago