Wha? If I have a theorem prover, and run a search over all compressor algorithms trying to find/prove the ones with high “efficiency” (some function of its asymptotics of running time and output size), I expect to never create an unfriendly AI that takes over the Internet.
Wha? If I have a theorem prover, and run a search over all compressor algorithms trying to find/prove the ones with high “efficiency” (some function of its asymptotics of running time and output size), I expect to never create an unfriendly AI that takes over the Internet.