AI-generated, human-verified proofs of five open Banach-space problems, including primariness of Lp(L1) and a unital Banach algebra that is not any Calkin algebra.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.FA 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Mathematical Discovery in the Wild: AI-Guided Proofs in Banach Space Theory
AI-generated, human-verified proofs of five open Banach-space problems, including primariness of Lp(L1) and a unital Banach algebra that is not any Calkin algebra.