Is Math the Path to Chatbots That Don't Make Stuff Up?