Artificial Intelligence and the Structure of Mathematics
2026-04-07 • Artificial Intelligence
Artificial Intelligence
AI summaryⓘ
The authors discuss how recent advances in AI could change the way we understand mathematics by exploring the overall structure of mathematical proofs in new ways. They suggest that AI could offer a path different from traditional logic to study math's global framework, using concepts like universal proof and structural hypergraphs. The authors also propose criteria for AI systems that might help discover new math on their own. Their essay raises the idea that AI exploring these "Platonic worlds" of math might help answer whether math is something we discover or create.
artificial intelligencemathematical logicformal proofuniversal proofstructural hypergraphsautomated discoveryPlatonic mathematical worldsfoundations of mathematicsmathematical concepts
Authors
Maissam Barkeshli, Michael R. Douglas, Michael H. Freedman
Abstract
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\textbf{ logic,} to understanding the global structure of formal \textbf{proof}\textbf{s}. 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 \textbf{Platonic worlds}?