Prefrontal coding of learned and inferred knowledge during REM and NREM sleep

Idling brain activity has been proposed to facilitate inference, insight, and innovative problem-solving. However, it remains unclear how and when the idling brain can create novel ideas. Here, we show that cortical offline activity is both necessary and sufficient for building unlearned inferential knowledge from previously acquired information. In a transitive inference paradigm, male C57BL/6J mice gained the inference 1 day after, but not shortly after, complete training. Inhibiting the neuronal computations in the anterior cingulate cortex (ACC) during post-learning either non-rapid eye movement (NREM) or rapid eye movement (REM) sleep, but not wakefulness, disrupted the inference without affecting the learned knowledge. In vivo Ca