455年(孝建2年)、劉誕が司空となると、智淵は司空主簿・記室参軍に転じた。