Computers have long been useful for studying mathematical problems. But recently computer techniques have been used to prove new theorems in geometry, specifically related to the study of gravity through Einstein's theory of General Relativity. This Oxford Mathematics Public Lecture will describe these developments and what they might mean for the future.