When using google to find out about research results about the Collatz conjecture, I find numerous proofs by various people who seem to be experts of the topic and an abundance of proofs by amateurs. Here are 3 examples of such proofs, where at least the first two appear to be scientists with experience in relevant fields:

Wikipedia states that the conjecture is not proved, while for example Porras' proof is from 2018. I'm sure this proof has been checked and either considered correct or incorrect/incomplete, but I couldn't find anything substantial about checks of these proofs.

How to know what the current status is about the research here? Do I have to check all of those proofs on my own to know if one of them is correct?

  • 7
    $\begingroup$ An accepted proof will become very famous very quickly. It is, of course, possible that one of the huge number of claimed proofs is correct...nobody could possibly keep up with the stack of these, though you are welcome to try. Note that any proof writer is free to submit their paper to a peer-reviewed journal, though it is certainly difficult to get anyone to focus on Collatz arguments (just as, in the past, nobody wanted to look at the huge piles of Fermat "proofs"). $\endgroup$
    – lulu
    Commented Jan 24, 2022 at 13:04
  • 1
    $\begingroup$ If it has been published in a journal it means it went through a professional review. So, check if these "proofs" have been publish outside authors personal web pages. $\endgroup$
    – Salcio
    Commented Jan 24, 2022 at 13:07
  • 3
    $\begingroup$ I couldn't find anything substantial about checks of these proofs -- There are many red flags one can look for, this being one of them. Others are whether (and how) the author's proof is discussed on mathoverflow and in some of the well known math blogs, as no mention there (or here) is telling. Also, look at the author's publications in MR and Zbl. Regarding someone unknown solving the problem, such a situation would generate more publicity than an expert solving it. $\endgroup$ Commented Jan 24, 2022 at 13:16
  • 1
    $\begingroup$ Proofs are checked very carefully ! However it is impossible to check all attempts since there are just too many. But chances that anyone has solved this already are virtually $0$ , and I have great doubts that anyone will be able to do it in the next $50$ years. $\endgroup$
    – Peter
    Commented Jan 24, 2022 at 13:27
  • 1
    $\begingroup$ The Collatz conjecture has moreover a property that most conjectures like Goldbach or Riemann do not have. If there is a diverging trajectory , we might not be able to prove that within ZFC. It is not clear how we should decide in general whether a given sequence eventually terminates. Does anyone know "how sure" we can be that there is no diverging trajectory ? $\endgroup$
    – Peter
    Commented Jan 24, 2022 at 13:45


You must log in to answer this question.