Which he described as "solving the AI alignment problem".