OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]

Post by startigerjen » Sun, Aug 02, 2026, 10:02 AM UTC

Post by startigerjen » Sun, Aug 02, 2026, 10:03 AM UTC

markasoftware wrote: post #12

Author is a crackpot. She does not meaningfully engage with anyone who points out the key flaw in her counterargument. See the thread here https://x.com/AcerFur/status/2083649346294382803

Post by startigerjen » Sun, Aug 02, 2026, 10:05 AM UTC

OsrsNeedsf2P wrote: post #3

Genuine question - this is so hard for me to follow. Not that I could follow the original disproof anyways. But how is "truth" determined when the effort required to validate is so high?

Post by startigerjen » Sun, Aug 02, 2026, 10:06 AM UTC

Tiberium wrote: post #13

ofjcihen wrote: post #8

Earlier quoted context omitted.

What makes you say that? Not dunking, I skimmed it (I’m in no way at this level) and didn’t see anything outright Claud-y.

This immediately struck me as Claud-y: > The gap has two independent consequences, each sufficient to invalidate the claimed disproof. The first is structural. Then the classic coding agents negation of earlier evidence, instaed of just updating to use new references, they mention that they changed old to new: > The publicly released monolithic file ConnesRigidity.lean (37,000+ lines) does not use the names CocycleEx…

Post by startigerjen » Sun, Aug 02, 2026, 10:08 AM UTC