Infinite counterexamples to Connes's rigidity conjecture

Source: url:https://github.com/openai/ten-proofs Authors: OpenAI, Dean Cureton Status: verified Main declarations: ConnesRigidity.infiniteConnesRigidity Tags: operator-algebras, von-neumann-algebras, property-t, group-theory, connes-rigidity MSC: 46L10, 20F65, 22D10