They do. For example, training transformers on addition creates circuits that perform modular addition. See "A Mechanistic Interpretability Analysis of Grokking"