Cognitive development is often thought to depend on qualitative changes in problem-solving strategies, with early developing algorithmic procedures (e.g., counting when adding numbers) considered being replaced by retrieval of associations (e.g., between operands and answers of addition problems) in adults. However, algorithmic procedures might also become automatized with practice. In a large cross-sectional fMRI study from age 8 to adulthood (n = 128), we evaluate this hypothesis by measuring neural changes associated with age-related reductions in a behavioral hallmark of mental addition, the problem-size effect (an increase in solving time as problem sum increases). We found that age-related decreases in problem-size effect were paralleled by age-related increases of activity in a region of the intraparietal sulcus that already supported the problem-size effect in 8- to 9-year-olds, at an age the effect is at least partly due to explicit counting. This developmental effect, which was also observed in the basal ganglia and prefrontal cortex, was restricted to problems with operands ≤ 4. These findings are consistent with a model positing that very-small arithmetic problems–and not larger problems–might rely on an automatization of counting procedures rather than a shift towards retrieval, and suggest a neural automatization of procedural knowledge during cognitive development.