I think there is however no record of the actual IQ of these people.
FWIW, I think IQ isn’t what we actually care about here; it’s the quality, cleverness and originality of their work and insights. A high IQ that produces nothing of value won’t get much reverence, and rightfully so. People aren’t usually referring to IQ when they call someone intelligent, even if IQ is a measure of intelligence that correlates with our informal usage of the word.
FWIW, I think IQ isn’t what we actually care about here; it’s the quality, cleverness and originality of their work and insights. A high IQ that produces nothing of value won’t get much reverence, and rightfully so. People aren’t usually referring to IQ when they call someone intelligent, even if IQ is a measure of intelligence that correlates with our informal usage of the word.