I tend to find Stephen wolfram’s blog posts self-serving and territorial, meaning no disrespect, but this Union he suggests is precisely the kind of logic-learning and neuro-symbolic bridge that the starAI community has been arguing for decades. Given his resources, I expect he might have a successful product soon.
Wolfram|Alpha as the Way to Bring Computational Knowledge Superpowers to ChatGPT
Accessing Wolfram|Alpha's computational knowledge with ChatGPT--an ideal combination of precise computation with human-like expression of id
writings.stephenwolfram.com