0

Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory

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.

Open
Preview
Year
2026
ArXiv
arxiv.org/abs/2607.17388
Hosting
Full text hostedCC-BY-4.0

Cite

Notes

Only stored in your browser.

Attribution

Abstract & full text
arxiv.org/abs/2607.17388CC-BY-4.0
TL;DR
Semantic Scholar
Attribution policy →

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.