OpenAI's claimed disproof of Connes' Rigidity Conjecture ...