Connes' Rigidity Theorem: Disproof of Open AI's Counterexample and Proof

#1

Post by gone35 » Sun, Aug 02, 2026, 11:56 PM UTC

Connes' Rigidity Theorem: Disproof of Open AI's Counterexample and Proof
philarchive.org

Re: Connes' Rigidity Theorem: Disproof of Open AI's Counterexample and Proof

#2

Post by LegionMammal978 » Mon, Aug 03, 2026, 1:44 AM UTC

> Corollary 14 (There is no such thing as a torsor). A torsor is defined as a “group without a distinguished identity element.” No such object exists. The proof is immediate from the axioms of group theory.

I somehow doubt that a standard concept you can look up [0] is vacuous due to simple word games.

[0] https://ncatlab.org/nlab/show/torsor

Re: Connes' Rigidity Theorem: Disproof of Open AI's Counterexample and Proof

#3

Post by defrost » Mon, Aug 03, 2026, 2:19 AM UTC

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

  (https://philarchive.org/archive/NIEWTCv17)
  32 points|muglug|23 hours ago|37 comments

~ https://news.ycombinator.com/item?id=49140869

Re: Connes' Rigidity Theorem: Disproof of Open AI's Counterexample and Proof

#4

Post by raver1975 » Mon, Aug 03, 2026, 2:30 AM UTC

I'm going to believe that both results are true, while simultaneously being not true.

Re: Connes' Rigidity Theorem: Disproof of Open AI's Counterexample and Proof

#5

Post by versteegen » Mon, Aug 03, 2026, 2:42 AM UTC

defrost wrote: post #3

(dupe) OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf] (https://philarchive.org/archive/NIEWTCv17) 32 points|muglug|23 hours ago|37 comments ~ https://news.ycombinator.com/item?id=49140869

To save anyone else the trouble: discussion there is not really worth looking at (largely a flame war), except: the author of this disproof seems to be a crank, and the disproof's been refuted.