What is the point of computers? A question for pure mathematicians

TL;DR

The paper explores how computers could revolutionize mathematical theorem proving, communication, and teaching, emphasizing their potential to assist mathematicians in new and impactful ways.

Contribution

It presents a forward-looking discussion on the expanding role of computers in pure mathematics, including theorem proving and education.

Findings

Computers may soon assist in proving complex theorems.

Computer tools could improve mathematical communication and teaching.

Potential for computers to transform pure mathematics practice.

Abstract

We discuss the idea that computers might soon help mathematicians to prove theorems in areas where they have not previously been useful. Furthermore we argue that these same computer tools will also help us in the communication and teaching of mathematics.