3 ms·

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