Theorem provers and calculators exist, and we don’t consider them intelligent, so those in and of themselves are not sufficient to argue for intelligence. Conv

Theorem provers and calculators exist, and we don’t consider them intelligent, so those in and of themselves are not sufficient to argue for intelligence. Conversely, neither of the two are prerequisites for human intelligence either since the overwhelming majority of humans is simply not able to do either, but we generally don’t consider them “not intelligent”. So me, it seems plausible that with the right prompt, a language model will be able to do addition.