This is consistent with most exceptionally intelligent mathematicians producing unremarkable math, and also (given the rarity of people with exceptional intelligence) consistent with some great mathematicians not being exceptionally intelligent. I'll write more about this later.

Nice to know there's still hope for the rest of us.