> Sorting a finite number of elements in a sequence, is a very narrow application of AI, [...]

Sorry, I did not suggest you should use AI to sort numbers. I was solely replying to this:

> Small steps of nondeterministic computation, checked thoroughly with deterministic computation every so often, and the sky is the limit.

You don't necessarily need your checks to be deterministic.

In fact, it's often better for them to be not deterministic.

See also https://fsharpforfunandprofit.com/series/property-based-test...

I don't understand your claim about 'Deterministic computation is faster, cheaper and more secure.' That's not true at all.

In fact, for many problems the fastest and simplest known solutions are non-deterministic. And in eg cryptography you _need_ non-determinism to get any security at all.