As OpenAI's co-founder and chief scientist he became convinced safe superintelligence needed a dedicated lab insulated from product pressures, and left to build exactly that.