It is but it also shows current limitation of the reasoning skills of this models.
A super human AGI would easily be able to use tools like Wolfram Alpha and also derive most of it on the fly or from memory just by thinking about it.
If you set your expectations to AGI (right now) you will be disappointed but that doesn't mean it's not immensely useful.
Unfounded hype and real technological progress seem to go hand in hand.