Phil, you might already understand, but I was talking about formal proofs, so your main worry wouldn’t be the AI failing, but the AI succeeding at the wrong thing. (I.e., your model’s bad.) Is that what your concern is?
Phil, you might already understand, but I was talking about formal proofs, so your main worry wouldn’t be the AI failing, but the AI succeeding at the wrong thing. (I.e., your model’s bad.) Is that what your concern is?