What is mathematics now, and what should it be?
2026-08-24 • Artificial Intelligence
Artificial Intelligence
AI summaryⓘ
The authors discuss recent improvements in neural theorem provers, which are AI tools that help prove mathematical statements. They argue that these successes should be seen as part of a bigger picture, showing how AI could assist mathematicians more broadly. Their essay suggests a hopeful outlook on the future relationship between AI and mathematics. They encourage a wider view of how mathematicians might use AI in their work.
neural theorem proversartificial intelligencemathematicstheorem provingAI in mathematicsmachine learningmathematician collaborationautomated reasoning
Authors
Jeremy Avigad
Abstract
Advances in neural theorem provers have been impressive, but the successes obscure a broader vision of what AI can do for mathematics and how mathematicians can engage with AI. This essay advances a more expansive and optimistic point of view.