{"data":{"id":"kill-connes-embedding-2020","statement_oneline":"The Connes embedding conjecture (1976), via the equivalent Tsirelson problem.","renown":{"score":4,"rationale":"A 44-year-old operator-algebra conjecture with connections across quantum information.","scored_by":"founder"},"attackability":{"score":0,"rationale":"No finite witness exists in any sense; refuted through complexity theory (MIP* = RE).","subscores":{"finite_witness":0,"oracle_cost":0,"freshness":1,"seedability":0},"scored_by":"founder"},"ranking_score":0,"verification_tier":null,"ai_systems":[],"posed_by":null,"years_open":null,"notability":null,"source_trackers":[],"status":"confirmed","added":"2020-01-13","resolution_type":"counterexample","resolver":"Ji, Natarajan, Vidick, Wright, Yuen (MIP* = RE)","resolution_date":"2020-01-13","evidence_url":"https://arxiv.org/abs/2001.04383","evidence_note":"A complexity-theory result -- MIP* = RE -- refuting a 44-year-old operator-algebra conjecture through quantum interactive proofs.","method_note":"The most spectacular cross-field kill of the modern era.","effective_status":"confirmed","claims":[],"status_events":[{"id":"seed-kill-connes-embedding-2020","conjecture_id":"kill-connes-embedding-2020","status":"confirmed","date":"2020-01-13T00:00:00.000Z","actor":"human-admin","rationale":"Loaded from unified seed data.","note":"Loaded from unified seed data."}],"public_actions":[],"resolutions":[]},"notice":"Status is community- and machine-tracked and may lag. Verify independently before investing effort."}