There are two types of traits which people refer to as “intelligence”, and two regions of the brain with their storage infrastructure: there’s the ability to draw new insights from disparate data, mediated by inductive long-term retrieval (hippocampus) and there’s the ability to draw formal and rapid mathematical/logical conclusions from existing theorems, mediated by working memory (anterior cingulate cortex).