Connes Embedding Problem

2 comments

• $gsf_emergency_6 a day ago

  https://leanprover-community.github.io/mathlib_docs/analysis...

  First person account of how it was disproved

  https://mycqstate.wordpress.com/2020/01/14/a-masters-project...

• $big-chungus4 a day ago

  Damn that's crazy, who else agrees