Operator algebras·OpenAI Math·Result 292·Lean formalisation listed
Kirchberg's đȘ2 norm-ultrapower embedding problem
One of the 372 results in OpenAI's public mathematics catalogue, filed under operator algebras: 1 preprint, the latest dated 23 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and embeds the animation.
In one line: OpenAI reports an answer to Kirchberg's đȘâ norm-ultrapower embedding problem (operator algebras) in a preprint dated 23 September 2026. It has not been peer reviewed. The channel's animation, Every OpenAI Math Result, Part 3 of 4: Operator Paving, Naimark's Problem and 82 More, is on YouTube.
Chapter 4 of 84 in Every OpenAI Math Result, Part 3 of 4: Operator Paving, Naimark's Problem and 82 More · starts at 1:05 · watch from there on YouTube â
What OpenAI claims
Constructs an explicit separable unital full group Câ-algebra that cannot embed unitally into the norm ultrapower of any fixed nonzero unital nuclear Câ-algebra, for any free ultrafilter on the natural numbers. Taking the target to be đȘ2 answers Kirchberg's norm-ultrapower embedding problem negatively. (Lean)
Paper
An explicit obstruction to nuclear norm-ultrapower embeddings
OpenAI's abstract We give a negative answer to Kirchberg's norm-ultrapower embedding problem. We construct an explicit separable unital full group Câ-algebra that admits no unital embedding into BÏ, for any nonzero unital nuclear Câ-algebra B and any free ultrafilter Ï on â. In particular, it does not embed unitally into đȘ2Ï.
Status
Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
Quick answers
- Is it proven?
- Not independently yet. OpenAI posted a preprint on 23 September 2026; it has not been peer reviewed, so treat the result as OpenAI's claim until other mathematicians have checked it.
- What exactly does OpenAI claim?
- Constructs an explicit separable unital full group Câ-algebra that cannot embed unitally into the norm ultrapower of any fixed nonzero unital nuclear Câ-algebra, for any free ultrafilter on the natural numbers. Taking the target to be đȘ2 answers Kirchberg's norm-ultrapower embedding problem negatively. (Lean)
- Where is the proof?
- In the paper, An explicit obstruction to nuclear norm-ultrapower embeddings (PDF).
- Is there a video?
- Yes, on YouTube (29:20, chapter 4).
Also in
- Chapter 3 of 9 in Kaplansky's Quasitrace Conjecture, Naimark's Problem and 7 More in Operator Algebras · starts at 0:43 · watch from there on YouTube â
The video
Every OpenAI Math Result, Part 3 of 4: Operator Paving, Naimark's Problem and 82 More · Compilation · 29:20 · chapter 4 from 1:05 · description, sources and chapters â
Related results in Operator algebras
- 293Invariant projections, hyperinvariant subspaces, and transitive algebrasVideoLean
- 294Kaplansky's quasitrace conjecture and failure of tensor-product stable finitenessVideoLean
- 295The KadisonâRingrose cohomology conjectureVideoLean
- 296The generator problem for finite factorsVideoLean
- 297A ZFC counterexample to Naimark's problemVideoLean
- 298Two notions of free entropy differ even when both are finiteVideoLean
