# What is mathematics now, and what should it be?

arXiv: https://arxiv.org/abs/2608.23218 · HTML: https://mlsanity.com/paper/2608.23218/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- First posted on arXiv 24 Aug 2026.

## Abstract (arXiv)

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.