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

Tudor Achim challenged an A.I. bot with a brain teaser involving numbers in a table. The bot, Aristotle, correctly proved its answer, distinguishing itself from other chatbots. This advancement in A.I.