Note that to the extent this is true, it suggests verification is even harder than John thinks.
Hmm, not exactly. Our verification ability only needs to be sufficiently good relative to the AIs.
Note that to the extent this is true, it suggests verification is even harder than John thinks.
Hmm, not exactly. Our verification ability only needs to be sufficiently good relative to the AIs.