AI giants tried to storm the last human stronghold: the math olympiads · HackerTrans