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?