[IsTom]

There are limits to algorithms. AI won't solve the halting problem nor will it solve EXPTIME problems in polynomial time.