[flagged]
OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
31–40 of 88 posts
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#32Author 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
[flagged]
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#33Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#34Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#35The author of this paper has also apparently published a proof of the Riemann Hypothesis. yeah idk if they should be trusted as an authority on this.
[flagged]
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#36The author of this paper has also apparently published a proof of the Riemann Hypothesis. yeah idk if they should be trusted as an authority on this.
Crank author at a crank “institution” - I can’t assess whether the OpenAI paper is accurate but I highly doubt this is going to be the paper to disprove it.
[flagged]
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#37Genuine 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?
These AI generated proofs have something akin to the quantum algorithms that can generate a response that would take 1 billion years of processing to finish on a classical computer. How do you test them to see if the result was correct?
No they don't. They have a few thousand lines and the hinge points are easy to find. This is more nonsense.
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#38One of mathematicians working at OpenAI refuted those claims directly on X - https://x.com/AcerFur/status/2083656978719719601
[flagged]
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#39does this show Lean is not bulletproof?
[flagged]
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#40Maybe there's an error, but much of this write-up reads like nonsense to me. The assertion that a semidirect product with an abelian factor must admit that factor in its center is absolutely false. This is actually acknowledged later in this article, but is handwaved away in incomprehensible fashion.
[flagged]