The Collatz conjecture asks whether the following procedure always terminates at 1. Take any positive integer *n*. If it’s odd, multiply it by 3 and add 1. Otherwise, divide it by 2. For obvious reasons the Collatz conjecture is also known as the 3*n* + 1 conjecture. It has been computationally verified that the Collatz conjecture is true for *n* less than 2^{60}.

Alex Kontorovich posted a long thread on Twitter last week explaining why he thinks the Collatz conjecture might be false. His post came a few days after Tao’s paper was posted giving new partial results toward proving the Collatz conjecture is true.

Tao cites earlier work by Kontorovich. The two authors don’t contradict each other. Both are interested in the Collatz problem and have produced very technical papers studying the problem from different angles. See Konotorovich’s papers from 2006 and 2009.

Konotorovich’s 2009 paper looks at both the 3*n* + 1 problem and the 5*n* + 1 problem, the latter simply replacing the “3” in the Collatz conjecture with a “5”. The 5*n* + 1 has cycles, such as {13, 33, 83, 208, 104, 52, 26}. It is conjectured that the sequence produced by the 5*n* + 1 problem diverges for almost all inputs.