Like I said there is no proof. Back in ancient times the arguments were made here:http://selfawaresystems.com/2007/11/30/paper-on-the-basic-ai-drives/and here Basic AI drives—LessWrongFor people trying to reason more rigorously and actually prove stuff, we mostly have problems and negative results:Vingean Reflection: Reliable Reasoning for Self-Improving Agents — LessWrongVingean Reflection: Open Problems — LessWrong
Like I said there is no proof. Back in ancient times the arguments were made here:
http://selfawaresystems.com/2007/11/30/paper-on-the-basic-ai-drives/
and here Basic AI drives—LessWrong
For people trying to reason more rigorously and actually prove stuff, we mostly have problems and negative results:
Vingean Reflection: Reliable Reasoning for Self-Improving Agents — LessWrong
Vingean Reflection: Open Problems — LessWrong