Have you seen LangChain? It combines ChatGPT + WolframAlpha for reasoning