Ignoring all the flak Stephen Wolfram gets, this is something that Wolfram Alpha does much better. Asking `escape velocity on Enceladus` to ChatGPT, it gave cor

Ignoring all the flak Stephen Wolfram gets, this is something that Wolfram Alpha does much better. Asking `escape velocity on Enceladus` to ChatGPT, it gave correct formula and still wrong result. All the hard-work of generating computable verified results for the Wolfram Engine database seems invaluable in comparison. The deeper fact that Stephen Wolfram talks about in comparing ChatGPT vs Symbolic AI is true too. A layer deeper from ChatGPT is just a bunch of floats. So it is a lot harder to debug why the system arrived at the wrong result. For symbolic computations there might be a way to resolve how the expressions were transformed by the compiler and where it went off track, a debugging in true sense. It is my gut feeling that we might see a next AI winter in a decade where we will finally start combining symbolic and connectionist approaches.