Showing math.FAShow all
2 papers · 1 filter
math.FA2026
Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory
Antonio Acuaviva, Pablo Acuaviva
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 result…
math.FA2026
A Unital Banach Algebra Which Is Not a Calkin Algebra
Antonio Acuaviva, Pablo Acuaviva
Let and denote the ideals of approximable and compact operators on a Banach space , respectively. We construct a unital Banach algebra of d…