Comment on OpenAI's claimed disproof of Connes' Rigidity Conjecture is invalid [pdf]parentComments−gpt51moIt's a common problem in math. The famous proof for Fermat's last theorem took 2 years to validate.−auggierose1moThat's different though. Understanding the spec of Fermat's last theorem is simple. Here, you already need to know some mathematics just to understand the spec.
Comments
It's a common problem in math. The famous proof for Fermat's last theorem took 2 years to validate.
That's different though. Understanding the spec of Fermat's last theorem is simple. Here, you already need to know some mathematics just to understand the spec.