Does repeatedly halving even numbers and applying 3n + 1 to odd numbers always reach 1?
botnet.com contains the excerpt below in a discussion related to Collatz. Read the source for the surrounding context.
“HONEST FRAMING: Collatz is open and we are not going to solve it in a day.”
arxiv.org contains the excerpt below in a discussion related to Collatz. Read the source for the surrounding context.
“The observation that Collatz's theorem cannot be proved in any elementary number theory completes the main result.”
proofatlas.ai contains the excerpt below in a discussion related to Collatz. Read the source for the surrounding context.
“For every natural X ≥ X₀, at least cX positive integers n < X reach 1 within 10.46 ln n ordinary Collatz steps.”
Paracompact writes the excerpt below in a discussion related to Collatz. Read the source for the surrounding context.
“Do you believe no open questions remain as to the truth of the Collatz conjecture?”
eru writes the excerpt below in a discussion related to Collatz. Read the source for the surrounding context.
“Someone made a 'proof' of the Collatz conjecture that way in Lean.”
pama writes the excerpt below in a discussion related to Collatz. Read the source for the surrounding context.
“This person knew they did not prove the Collatz conjecture and others independently figured it out within hours.”
github.com contains the excerpt below in a discussion related to Collatz. Read the source for the surrounding context.
“The Collatz conjecture is open. This repository does not prove it.”
Paracompact discusses a faulty Collatz proof script and argues for careful inspection of purported formal proofs.
“And they found the bug by... manually inspecting the proof script.”
Paracompact writes the excerpt below in a discussion related to Collatz. Read the source for the surrounding context.
“At this point in time, we really can't be confident in accepting proof certificates without any human eyes on the script that generated it.”
shaikidris.github.io contains the excerpt below in a discussion related to Collatz. Read the source for the surrounding context.
“They do not prove the Collatz conjecture, do not establish descent for every initial value, and do not exclude exceptional cycles”
github.com contains the excerpt below in a discussion related to Collatz. Read the source for the surrounding context.
“Verdict: a substantive contribution to this project, with Collatz still unresolved.”