Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory
Antonio Acuaviva, Pablo Acuaviva
math.FA cs.AI
Abstract
We investigate the capacity of current language models to contribute to mathematical research. In Banach space theory, AI systems generated key ideas and proofs for five new results, which were then verified and refined by humans. We also developed an automated system that searches the literature for open problems and attempts solutions at scale. Our results show both the potential of language models for mathematical discovery and the continuing importance of expert verification.
Topics
Classified with taxonomy v2 on Sat, 5 Sept 2026.