[edanm]

Either humans are not generally intelligent, or they are, in which case they're an existence proof of general intelligence. Math really has nothing to do with it beyond the most basic statements of logic.