x
Alignment Is Proven Tractable — LessWrong