> After some discussion on this topic, I'm forced to confront the
> fact that it doesn't seem we have any independent verification that
> Eliezer is in fact 19.
Easy. Go to http://jhunix.hcf.jhu.edu/~setmentr/members.html and notice that most of the people are young. SET wasn't created until 1991 (so if Eliezer took PSAT in 1991 then ve could be at most 22 now). I think this should be good enough for what you want.