Comment by bawolff

18 days ago

I wouldnt take that too literally, since that is the halting problem.

I suppose AI can provide a heuristic useful in some cases.