There were no bots in the leaderboards and there still aren't. If you see an error "Profile not found," for example, it may mean that it has been deleted, banned, or not loaded. If you clicked on the profile and it opened, it means it's a real player.