OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
1–10 of 88 posts
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#2[deleted]
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#3Genuine 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?
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#4The 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.
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#5does this show Lean is not bulletproof?
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#6This "paper" itself is 100% AI-generated...
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#7The 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.
link for the curious
https://philarchive.org/archive/NIEPOT-5
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#8This "paper" itself is 100% AI-generated...
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.
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#9Genuine 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?
It's a common problem in math. The famous proof for Fermat's last theorem took 2 years to validate.
Re: OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]
#10[deleted]