If you go to his RT ladder page (https://www.warlight.net/LadderTeam?LadderTeamID=4333), you'll see on his graph that he hit 2415 early on, before ratings and ranks became "official". I'm not sure if that should count as an official record or not, but he did hit the highest rating ever.
Also, Yves' top rating is 2403, not 2401. Sze has 2401 currently, so he could pass that if he plays the ladder more and wins.
Wow. You guys take these "records" and "achievements" a bit too seriously.
How about a suggestion: Just as Major League Baseball doesn't recognize records for players that juiced, maybe you could not recognize stats for players who gamed the system or cheated to get such high stats.
If you want people to play fair and exhibit good sportsmanship, don't award or acclaim people who do the opposite.