That’s what I had in mind, though I didn’t state it explicitly. It’s what I meant by ‘worked out’. It’s clear that you want these things worked out formally, as strong as being provably friendly.
I’m still skeptical on the world-destroying. My money’s on chaos to FOOM. Dynamism FTW. But then, I think AGI will come from robots.
Right.
That’s what I had in mind, though I didn’t state it explicitly. It’s what I meant by ‘worked out’. It’s clear that you want these things worked out formally, as strong as being provably friendly.
I’m still skeptical on the world-destroying. My money’s on chaos to FOOM. Dynamism FTW. But then, I think AGI will come from robots.