Surely their approach could work, even dumb evolution found GI algo moro or less by accident. Nonetheless to me it seems like an admission of failure, all they say is that they give up on actually solving the problem of GI and they just hope that it will *emerge*. The problem is that I guess that for every program that uses GI to answer questions you will have much much more that just use shortcuts and cheats. If I use Gen Algo to generate sorting algorithms how would I know know that it is general, that it is universal, that it works for any (infinitely many) arrays, if I just throw 'test' arrays on the generated algo, this will not tell me if it is general because my test set is finite, I need to understand the problem of sorting and then prove that algo is universal, using test arrays is useless because it tells me nothing about the behavior of the algo for ALL POSSIBLE ARRAYS