Stop Calling Everything AI, Machine-Learning Pioneer Says

Re:Stop Calling Everything AI, Machine-Learning Pioneer Says by mathematically on Friday October 22, 2021 @12:52AM (#28953853)

I mean by looking at the source code for the neural network someone can give an upper bound on how many steps will be required before the entire network halts and gives an answer and they can prove that their upper bound is really an upper bound.

[ Parent | on HN ]

Re:Stop Calling Everything AI, Machine-Learning Pioneer Says by IshKebab on Friday October 22, 2021 @04:30AM (#28954873)

They need to know the input length too. With an infinite input it will never halt.

[ Parent | on HN ]

Re:Stop Calling Everything AI, Machine-Learning Pioneer Says by mathematically on Friday October 22, 2021 @05:15AM (#28955152)

Yes, that's the usual assumption when working with Turing machines and proofs. But I guess you could also allow infinite inputs and it wouldn't make that much difference, e.g. computing exp(x) for some real x as input.

[ Parent | on HN ]