Leibniz dreamed of machines that could calculate and reason. Three hundred and fifty years later, mathematics has created AI, a machine that can both calculate and reason—and thereby create new mathematics. Mathematics has become a tool for its own development.
What is the role of human reasoning?