16 ms·
Turing proved that no TM can determine whether all TMs halt ... not that no TM can determine whether some specific TM halts ... the difference a common misunder
by jibal 3mo ago
Turing proved that no TM can determine whether all TMs halt ... not that no TM can determine whether some specific TM halts ... the difference a common misunderstanding of the proof. Analogously, while we can't prove that no AI is or isn't harmful, we can prove that certain AIs are or aren't harmful.