A ZFC counterexample to Naimark's problem at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

A ZFC counterexample to Naimark's problem

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	infinite matrices	Levels:	1
Category:	Operator algebras	Lean version:	YES! ✔
Rate this game! 4.4 out of 5 (7,473 votes)

>>> How to Play <<<

A ZFC counterexample to Naimark's problem. Gives an alternative to [Tanaka's ZFC construction](https://arxiv.org/abs/2609.26930v1) of a unital infinite-dimensional simple complex C^∗-algebra with a faithful tracial state and exactly one nonzero irreducible representation up to unitary equivalence. Thus the unrestricted compact-operator characterization fails without additional set-theoretic assumptions; the counterexample is nonseparable.

>>> Level Select <<<

LEVEL 1 A counterexample to Naimark's problem in ZFC

released 2026-09-24 | 4 theorems · 17 lemmas · 24 proofs · 10,588 words | PLAY LEVEL 1 » (pdf)

We construct in ZFC a unital infinite-dimensional simple complex C^∗-algebra with a faithful tracial state whose nonzero irreducible representations are all unitarily equivalent. This gives a negative answer to Naimark's problem without additional set-theoretic assumptions.

More Operator algebras Games!
The Popa–Vaes quadratic strong-operator paving conjecture	Classification by trace cones after Razak–Jacelon stabilization	The Phillips–Toms formula for minimal integer actions	From ordinary to strong pure infiniteness
Counterexamples to Baum–Connes and Kadison–Kaplansky	Arithmetic rigidity of lattice von Neumann algebras	All nonabelian free group factors are isomorphic HOT!	Kadison's similarity conjecture

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600