[Gideon7]

primesTo m = 2 : sieve [2..]
where
sieve (p:xs) = p : sieve [x | x - xs, rem x p /= 0]

[adorno]

primesTo m = 2 : sieve [2..] where sieve (p:xs) = p : sieve [x | x - xs, rem x p /= 0]

Question is: would a machine be able to determine that, a problem exists, and that the problem needs to be solved, and then it goes about solving it, and proceeds to using the solution for the good of mankind (or machine-kind).

A self-teaching machine should have no input from humans, if it truly does have AI.