Jul 2026
Non-Calkin unital Banach algebras
Model / AI: GPT-5.5 Pro
self-reported
Problem 2 reports a GPT-5.5 Pro argument, subsequently checked and edited by the authors.
Source read 2026-09-08. Read the linked source to identify this individual result and its attribution; proofs were not independently checked.