# Artificial Intelligence and the Structure of Mathematics

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

## Key facts

- Cited by 4 papers in the map (data through 14 Oct 2026).
- Builds on 25 of its 86 references that are in the map.
- First posted on arXiv 7 Apr 2026.

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

- [AlphaEvolve: A coding agent for scientific and algorithmic discovery](https://mlsanity.com/paper/2506.13131/) (2025)
- [FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI](https://mlsanity.com/paper/2411.04872/) (2024)
- [PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition](https://mlsanity.com/paper/2407.11214/) (2024)
- [DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning](https://mlsanity.com/paper/2006.08381/) (2020)
- [Why does deep and cheap learning work so well?](https://mlsanity.com/paper/1608.08225/) (2016)
- [How Deep Neural Networks Learn Compositional Data: The Random Hierarchy Model](https://mlsanity.com/paper/2307.02129/) (2023)
- [Top-Down Synthesis for Library Learning](https://mlsanity.com/paper/2211.16605/) (2022)
- [Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics](https://mlsanity.com/paper/2601.14027/) (2026)
- [LILO: Learning Interpretable Libraries by Compressing and Documenting Code](https://mlsanity.com/paper/2310.19791/) (2023)
- [Constructions in combinatorics via neural networks](https://mlsanity.com/paper/2104.14516/) (2021)
- [Learning Formal Mathematics From Intrinsic Motivation](https://mlsanity.com/paper/2407.00695/) (2024)
- [First Proof](https://mlsanity.com/paper/2602.05192/) (2026)
- [Machine learning and information theory concepts towards an AI Mathematician](https://mlsanity.com/paper/2403.04571/) (2024)
- [Point Convergence of Nesterov's Accelerated Gradient Method: An AI-Assisted Proof](https://mlsanity.com/paper/2510.23513/) (2025)
- [MLFMF: Data Sets for Machine Learning for Mathematical Formalization](https://mlsanity.com/paper/2310.16005/) (2023)
- [Homotopy Type Theory: Univalent Foundations of Mathematics](https://mlsanity.com/paper/1308.0729/) (2013)
- [Solving an Open Problem in Theoretical Physics using AI-Assisted Discovery](https://mlsanity.com/paper/2603.04735/) (2026)
- [Lattice-Valued Bottleneck Duality](https://mlsanity.com/paper/2410.00315/) (2024)
- [Compression is all you need: Modeling Mathematics](https://mlsanity.com/paper/2603.20396/) (2026)
- [Mathematicians in the age of AI](https://mlsanity.com/paper/2603.03684/) (2026)
- [MathZero, The Classification Problem, and Set-Theoretic Type Theory](https://mlsanity.com/paper/2005.05512/) (2020)
- [Epistemic Phase Transitions in Mathematical Proofs](https://mlsanity.com/paper/2004.00055/) (2020)
- [Learning Interestingness in Automated Mathematical Theory Formation](https://mlsanity.com/paper/2511.14778/) (2025)
- [Automated Mathematics and the Reconfiguration of Proof and Labor](https://mlsanity.com/paper/2309.11457/) (2023)
- [Transposition is Nearly Optimal for IID List Update](https://mlsanity.com/paper/2603.10244/) (2026)

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

- [Flood and Harvest: The Provable Necessity of Trivia for Generating Valuable Mathematics via the Lens of Language Generation in the Limit](https://mlsanity.com/paper/2606.14688/) (2026)
- [A Theoretical Framework for Self-Play Theorem Proving Algorithms](https://mlsanity.com/paper/2606.01861/) (2026)
- [Lectures on AI for Mathematics](https://mlsanity.com/paper/2604.11504/) (2026)
- [Learning to Discover Interesting Mathematics](https://mlsanity.com/paper/2609.28603/) (2026)

## Abstract (arXiv)

Recent progress in artificial intelligence (AI) is unlocking transformative capabilities for mathematics. There is great hope that AI will help solve major open problems and autonomously discover new mathematical concepts. In this essay, we further consider how AI may open a grand perspective on mathematics by forging a new route, complementary to mathematical logic, to understanding the global structure of formal proofs. We begin by providing a sketch of the formal structure of mathematics in terms of universal proof and structural hypergraphs and discuss questions this raises about the foundational structure of mathematics. We then outline the main ingredients and provide a set of criteria to be satisfied for AI models capable of automated mathematical discovery. As we send AI agents to traverse Platonic mathematical worlds, we expect they will teach us about the nature of mathematics: both as a whole, and the small ribbons conducive to human understanding. Perhaps they will shed light on the old question: "Is mathematics discovered or invented?" Can we grok the terrain of these Platonic worlds?