What is mathematics now, and what should it be?
Not on the map. Why?
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.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). First posted on arXiv 24 Aug 2026.
Builds on
0 of 0 references.
No references here yet.
Built on by
Not cited yet.