Operator algebras·OpenAI Math·Result 285
Counterexamples to Baum–Connes and Kadison–Kaplansky
One of the 372 results in OpenAI's public mathematics catalogue, filed under operator algebras: 3 preprints, the latest dated 23 September 2026. This page quotes OpenAI's own summary of the claim, links the papers and abstracts, and embeds the animation.
What OpenAI claims
Disproves the coefficient-free reduced Baum–Connes conjecture through a failure of rational injectivity and a separate failure of surjectivity of assembly. A finitely generated torsion-free example witnesses the injectivity failure. Separately, a torsion-free group has a nontrivial projection in its reduced group C∗-algebra, disproving the Kadison–Kaplansky conjecture.
Papers (3)
A torsion-free counterexample to reduced Baum–Connes injectivity
We disprove rational injectivity of the coefficient-free reduced Baum–Connes assembly map for torsion-free groups. Specifically, we construct a finitely generated torsion-free discrete group whose degree-zero assembly map has a kernel class of infinite order.
A torsion-free counterexample to the Kadison–Kaplansky projection conjecture
We construct a finitely generated torsion-free discrete group whose reduced group C∗-algebra contains a projection other than zero and the identity. This disproves the Kadison–Kaplansky projection conjecture.
An irrational-trace counterexample to reduced Baum–Connes
We construct a finitely generated discrete group whose reduced group C∗-algebra contains a projection of irrational canonical trace. Its K0-class lies outside the image of the coefficient-free reduced Baum–Connes assembly map. This disproves the coefficient-free reduced Baum–Connes conjecture for countable discrete groups.
Status
Preprint. The papers have 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 3 preprints, the latest dated 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?
- Disproves the coefficient-free reduced Baum–Connes conjecture through a failure of rational injectivity and a separate failure of surjectivity of assembly. A finitely generated torsion-free example witnesses the injectivity failure. Separately, a torsion-free group has a nontrivial projection in its reduced group C∗-algebra, disproving the Kadison–Kaplansky conjecture.
- Where is the proof?
- In the paper, A torsion-free counterexample to reduced Baum–Connes injectivity (PDF).
- Is there a video?
- Yes, on YouTube (0:21).
Also in
- Chapter 12 of 83 in Every OpenAI Math Result, Part 1 of 4: Goldfeld's Conjecture and 82 More · starts at 3:50 · watch from there on YouTube →
The video
Kadison–Kaplansky Conjecture: OpenAI Claims a Counterexample · Short · 0:21 · description, sources and transcript →
Related results in Operator algebras
- 286Rigidity and arithmetic of lattice von Neumann algebrasVideo
- 287Isomorphism of the free group factorsVideoLean
- 288Kadison's similarity conjectureVideoLean
- 289Strong Kadison–Kastler stability and its spatial boundariesVideoLean
- 290Relative bicentralizers and modular spectral recoveryVideoLean
- 291Cuntz comparison, nuclear dimension, and equivariant Jiang–Su stabilityVideoLean