Comment by p_l

His target was removal of prescience - which would have allowed that, AI or no AI.

In fact he also explicitly prepared a renewal of computing and thinking machines in order to break free from spacing guild