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

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.

Functional Analysis (math.FA); Artificial Intelligence (cs.AI)

arXiv:2607.17388 [math.FA]

(or arXiv:2607.17388v1 [math.FA] for this version)

https://doi.org/10.48550/arXiv.2607.17388 Focus to learn more arXiv-issued DOI via DataCite (pending registration)

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.