Many of us intuitively feel that the field of mathematics is going to change, so let's unpack the likely outcomes, without resorting to hyperbole or doomerism. Hypothesis #1: The number of mathematical proofs and the aggregate amount of mathematical data will expand exponentially.

This one is perhaps uncontroversial. AI models, under the direction of humans, are already creating voluminous amounts of math. Now the bottleneck has gone from creating mathematics to verifying its correctness.

Aristotle, which uses @leanprover, solves the verification problem by enabling each proof to be machine-checkable.

As the technology improves, the length and complexity of the created proofs will continue to increase.