A abstractions.nautil.us Mathematicians try to understand how CS proof solves Connes embedding conjecture 79 points dnetesn 6 years ago 13 comments