"For doing math we might as well give the LLM a pocket calculator, why not couple it to a planner, theorem prover and similar tools?" ChatGPT has already been

"For doing math we might as well give the LLM a pocket calculator, why not couple it to a planner, theorem prover and similar tools?" ChatGPT has already been hooked up to Wolfram Alpha.[1] For hooking up other things, see HuggingGPT and TaskMatrix.AI.[2][3] [1] - https://writings.stephenwolfram.com/2023/03/chatgpt-gets-its-wolfram-superpowers/ https://writings.stephenwolfram.com/2023/03/chatgpt-gets-its... [2] - https://arxiv.org/pdf/2303.17580.pdf https://arxiv.org/pdf/2303.17580.pdf [3] - https://arxiv.org/pdf/2303.16434.pdf https://arxiv.org/pdf/2303.16434.pdf