Grant Sanderson – AI and the future of math

AI’s rapid advancement in mathematics serves as a leading indicator for its broader impact on human labor and intellectual discovery. While AI models demonstrate proficiency in solving specific, verifiable problems like those found in the International Math Olympiad, the next frontier involves "mountain building"—the creation of new definitions, conjectures, and conceptual frameworks that unify disparate fields. Unlike standard white-collar tasks, mathematical progress relies on the ability to bridge fields and identify elegant, compressed representations of complex phenomena. Although AI architectures currently struggle with long-term conceptualization and theory of mind, their capacity for parallelization and systematic exploration of logical spaces offers a distinct advantage over human researchers. Ultimately, the future of mathematics will likely shift toward curation, where human experts guide AI systems to explore promising logical landscapes, ensuring that automated discoveries remain grounded in human-understandable and practically applicable insights.