Connes' Rigidity Theorem: Disproof of Open AI's Counterexample and Proof | Dark Hacker News