An appropriate rebuttal to the “show me the code”, “show me the math” -folk here pestering you about your lack of visible results.
I’m not expecting to be shown AI code. I’m not even expecting to be shown a Friendliness implementation. But a formal definition of what ‘Friendly’ means seems to be a reasonable minimum requirement to take Eliezer’s pronouncements seriously.
Alternatively, he could provide quantitative evidence for his reasoning regarding the dangers of AI design… or a quantitative discussion of how giving power to an AI is fundamentally different than giving power to humans when it comes to optimization.
I’m not expecting to be shown AI code. I’m not even expecting to be shown a Friendliness implementation. But a formal definition of what ‘Friendly’ means seems to be a reasonable minimum requirement to take Eliezer’s pronouncements seriously.
Alternatively, he could provide quantitative evidence for his reasoning regarding the dangers of AI design… or a quantitative discussion of how giving power to an AI is fundamentally different than giving power to humans when it comes to optimization.
Or a quantitative anything...