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.
Motakis,Separable spaces of continuous functions as Calkin algebras, J
1 Pith paper cite this work, alongside 4 external citations. Polarity classification is still indexing.
1
Pith paper citing it
4
external citations · OpenAlex
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.