Comment on OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]Comments−toinewx1modoes this show Lean is not bulletproof?−MoonUnit971moWe already knew that
Comments
does this show Lean is not bulletproof?
We already knew that