On the Invalidity of the Claimed Disproof of Connes' Rigidity Conjecture
Only the abstract of this 19-page preprint is read here. Nielsen asserts a recent claimed disproof is invalid, having traced it "through 37,000 lines of published Lean code," and locates the failure in his own words: the disputed step "is a…