This roundtable explores the nature of mathematical proof and the growing role of computers and AI in verifying and potentially generating proofs. It considers whether mathematics is a human-centered practice or a process that can ultimately be automated, and what this implies for the future of the field.