It is an impression, as you said. If his intellect is so vast (vs just scoring well on the math skill tests), we should have seen some sort of evidence in the things he writes or says. He was called a programming prodigy but we've seen other actual programming prodigies delivering much more impressive results (Bellard, Frankel, Carmack etc).
I don’t know what definition of intelligence you’re using, but scoring extremely well on math tests qualifying him for that study is fully aligned with the psychometric POV.