Can Math Help AI Chatbots Stop Making Stuff Up?

Chatbots like ChatGPT get things wrong. But researchers are building new AI systems that can verify their own math — and maybe even do more.