When math is based on abstract concepts, how do we know it\u2019s correct? In a conversation from October 2023, Dr. Eugenia Cheng takes on that question in a new book.