> many top mathematicians have, through hard work, internalized many more complex mathematical chunks than ordinary humans

Do you really think an average person can internalize complex math? Them compressing it effectively and then remembering it is a sign of (very) high intelligence.