x
Evan Miyazono: Proving safety for narrow AI outputs — LessWrong