Hacker News new | ask | show | jobs
Connes Embedding Problem (en.wikipedia.org)
19 points by jerlendds 126 days ago
2 comments
big-chungus4 124 days ago
Damn that's crazy, who else agrees
link
gsf_emergency_6 124 days 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...

link