@ziv_ravid@JudahGoldfeder@ylecun Ravid, did human intelligence arise from the constraints of earth or are humans on earth-like planet because we are the ideal intelligence and earth-like planets are the only ones able to support it?
Why should we expect machine intelligence to be useful on earth?
@roydanroy@hayou_soufiane I'm not sure this is necessarily a circular definition, though it may be refined. It reminds me of cryptography style definitions which model "knowledge" inside a "machine" as that which is extractable in polynomial time. See for example "proofs of knowledge"
@gavinrbrown1 Hi Gavin! Hope you're doing well. Actually, I just emailed this same man, and he also told me that he now spends more time responding to email from alumni than reviewing dissertations. Message received :)
@Dan_Jeffries1@HermanNarula Isn't their argument centered around the fact that when it comes to x-risk, evidence is no longer a prerequisite to funding and taking preventative measures? In other words, non-zero chance of extinction has infinitely negative expected payoff, so little evidence is needed.
What other computational separations exist? Can they be more โnaturalโ if the computational advantage is smaller (we study super-polynomial advantages)? How else can we use formal relationships between Crypto and ML to heuristically argue about โreal-worldโ ML phenomena?