My point was that trying to use a provably-boxed AI to do anything useful would probably not work, including trying to design unboxed FAI, not that we should design boxed FAI. I may have been pessemistic, see Stuart Armstrong’s proposal of reduced impact AI which sounds very similar to provably boxed AI but which might be used for just about everything including designing a FAI.
My point was that trying to use a provably-boxed AI to do anything useful would probably not work, including trying to design unboxed FAI, not that we should design boxed FAI. I may have been pessemistic, see Stuart Armstrong’s proposal of reduced impact AI which sounds very similar to provably boxed AI but which might be used for just about everything including designing a FAI.