# Shaping the Future of Mathematics in the Age of AI

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

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- Builds on 4 of its 8 references that are in the map.
- First posted on arXiv 26 Mar 2026.

## Builds on (most cited first, 4 of 4)

- [Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning](https://mlsanity.com/paper/2504.11354/) (2025)
- [Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving](https://mlsanity.com/paper/2502.07640/) (2025)
- [Abstraction boundaries and spec driven development in pure mathematics](https://mlsanity.com/paper/2309.14870/) (2023)
- [Accelerating mathematical research with language models: A case study of an interaction with GPT-5-Pro on a convex analysis problem](https://mlsanity.com/paper/2510.26647/) (2025)

## Built on by (most cited first, 2 of 2)

- [AI and Human Approaches to Mathematical Problem Solving](https://mlsanity.com/paper/2609.17779/) (2026)
- [Removing spurious minima for planar features by skip connections](https://mlsanity.com/paper/2610.01728/) (2026)

## 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.