{"id":"arxiv/2604.06107","url":"https://arxiv.org/abs/2604.06107","tags":["cs.AI","math.HO","math.LO"],"score":0,"title":"Artificial Intelligence and the Structure of Mathematics","domain":"cs.AI","source":"arxiv","authors":["Maissam Barkeshli","Michael R. Douglas","Michael H. Freedman"],"reviews":0,"subject":"cs.AI","summary":"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…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-04-07","reactions":{}}