Mathematicians try to understand how CS proof solves Connes embedding conjecture | Heykuki News