3 ms·
" We argue that this will soon be technically feasible using advanced AI for formal verification and mechanistic interpretability." But could AGI get in and co
by sharemywin 3y ago
" We argue that this will soon be technically feasible using advanced AI for formal verification and mechanistic interpretability."
But could AGI get in and corrupt the verification process?