Can Math Help AI Chatbots Stop Making Stuff Up?

Chatbots like ChatGPT get stuff wrong. But researchers are building new A.I. systems that can verify their own math — and maybe more.

Source