zlacker

>>tim_sw+(OP)
Shouldn't you first prove that a solution could exist?

To me it seems fairly obvious that you cannot control something that's smarter than you.

>>mupuff+9o
If absolute control turns out to be impossible we can get as close as possible. We should not wait for a mathematical proof while technology marches on.