Shaping the Future of Mathematics in the Age of AI
Not on the map. Why?
Abstract (arXiv)
Artificial intelligence is transforming mathematics at a speed and scale that demand active engagement from the mathematical community. We examine five areas where this transformation is particularly pressing: values, practice, teaching, technology, and ethics. We offer recommendations on safeguarding our intellectual autonomy, rethinking our practice, broadening curricula, building academically oriented infrastructure, and developing shared ethical principles - with the aim of ensuring that the future of mathematics is shaped by the community itself.
Key facts. Cited by 2 papers in the map (data through 7 Oct 2026). Builds on 4 of its 8 references that are in the map. First posted on arXiv 26 Mar 2026.
Builds on
4 of 8 references.
References · 4
- 2025Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learningcited by 173
- 2025Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Provingcited by 126
- 2023Abstraction boundaries and spec driven development in pure mathematicscited by 5
- 2025Accelerating mathematical research with language models: A case study of an interaction with GPT-5-Pro on a convex analysis problemcited by 5
Built on by
Citing papers per year: 2026: 2.
2 papers.