Direct discovery · Mathematics · Computer science

AI-guided work produces five new Banach-space theory results

Five new results in Banach space theory, including proofs for selected open problems, with arguments subsequently checked and refined by the authors.

Summary

Acuaviva and Acuaviva report using language models in Banach space theory to generate key ideas and proof drafts for five new results. The paper presents the resulting mathematical arguments and says the authors verified and refined them; it also describes an automated workflow that searches the literature for open problems and attempts candidate solutions.

AI role

Language-model systems generated proof ideas and draft arguments, while an automated literature-search workflow helped identify open problems for investigation.

Narrative role

This supplies a recent, concrete mathematics case where the tracked unit is claimed research output rather than benchmark performance or formalization of a known proof, while keeping the evidence state below independent or formal verification.

Caveat

This is an author-reported preprint without independent expert checking, peer review, or machine-checked formal proofs identified in the reviewed source; the novelty and correctness of the five results remain to be externally assessed.