After the USACO December contest, I looked at the USACO gold results and found that Yanxu Liao got promoted to USACO platinum. I know USACO platinum isn't anything crazy to achieve, but this guy is 7 years old! Standings.
Now I wonder, is this kid real or is it a joke about Chinese kids being super smart, is there a way to check if this person is real, does anyone know him?
this is most likely his account https://codeforces.net/profile/liaoyanxu