Connes Embedding Problem
en.wikipedia.org
Connes Embedding Problem
1–3 of 3 posts
Re: Connes Embedding Problem
#2https://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...
Re: Connes Embedding Problem
#3Damn that's crazy, who else agrees