How machines can make mathematics more congressive

I argue that since technology is already changing the way we do mathematics, we can use this technology to allow mathematics to be more congressive without human mathematicians becoming redundant in the face of technological advances. In thinking about what it means to “do mathematics,” I examine the following aspects of technology in mathematics: teaching and learning, asking questions, collaboration, dissemination, and the act of doing research. This is not intended to be a rigorous analysis but an informed reflection based on my experience as a mathematician.