The Connes embedding conjecture (1976), via the equivalent Tsirelson problem.
Status is community- and machine-tracked and may lag. Verify independently before investing effort.
Assessment
Renown 4/5
A 44-year-old operator-algebra conjecture with connections across quantum information.
Attackability 0/5
No finite witness exists in any sense; refuted through complexity theory (MIP* = RE).
- finite witness
- 0/5
- oracle cost
- 0/5
- freshness
- 1/5
- seedability
- 0/5
Confirmed resolution
counterexample by Ji, Natarajan, Vidick, Wright, Yuen (MIP* = RE) on .
A complexity-theory result -- MIP* = RE -- refuting a 44-year-old operator-algebra conjecture through quantum interactive proofs.
Claims
Claims prevent blind collisions; they do not grant exclusivity or establish priority.
No active claims.
Confirmed
This entry no longer accepts claims or resolution reports.