Talk:Collatz conjecture

Some of the math text isn't properly formatted :(

It looks like under the "Statement of the Problem" section that there is unformatted text. I don't know how to fix it, but does anyone here know how? ✧𝒎𝒂𝒕𝒄𝒉𝒂✧【💬】 17:07, 25 November 2025 (UTC)

It looks fine to me. Can you be more specific, or upload a picture of what the problem is? --JBL (talk) 18:45, 25 November 2025 (UTC)

might be an issue on my end, it says this: $ {\displaystyle f(n)={\begin{cases}n/2&{\text{if }}n\equiv 0{\pmod {2}},\\3n+1&{\text{if }}n\equiv 1{\pmod {2}}.\end{cases}}} $ ✧𝒎𝒂𝒕𝒄𝒉𝒂✧【💬】 19:30, 25 November 2025 (UTC)

Check your preferences, under appearance, at the bottom: do you have math rendering set to "LaTeX source (for text browsers)"? Use one of the other three choices. —David Eppstein (talk) 19:37, 25 November 2025 (UTC)

okay! i'll try that! thank you :D ✧𝒎𝒂𝒕𝒄𝒉𝒂✧【💬】 20:40, 25 November 2025 (UTC)

There is an error in {File:All Collatz sequences of a length inferior to 20.svg}. On the right, there is a circle painted black, but it should be a purple circle with number 1048576. — Preceding unsigned comment added by ~2026-31609-26 (talk) 11:17, 27 May 2026 (UTC)

Adding a visualization for the mapping (rather than convergence)

https://kentslaney.github.io/ideal-bassoon/

I'm interested in adding a visualization from the above URL to the article (probably the base 3 version), but I'm new to contributing here and wanted to double-check the original research requirements and whatnot before writing the JavaScript to export it properly to GIF. Is there anything I should know before posting? What would be an appropriate sequence length? Here's a watermarked screen recording for 27. Kslaney (talk) 18:54, 1 December 2025 (UTC)

Git provided repo wiki for extended presentation, visualization is specific method, and what uses yours Finite-state machine? Processing, which peculiarity or property related conjection did it highlight? MashiraV (talk) 19:38, 12 July 2026 (UTC)

\triangleq meets \particleq

Is $\triangleq$ being used in this article to mean "is defined as"? If so, this goes against MOS:MATH, which advises the use of a plain $=$. Stepwise Continuous Dysfunction (talk) 08:53, 18 March 2026 (UTC)

Collatz graph redirects to Clollatz conjecture.

It definitely needs it's own article, and it's certainly doable. Hlopov Eremei (talk) 05:41, 30 June 2026 (UTC)

Which algebra? I'm not directly interested in the material; specialists tend to try to use induction on numbers. Arithmetic pseudorandom number generators are a closely related field to statistics, so my expectations are different. The collaborative task is the development of distributed computing and numerical processors, but with targeted personal attention, the expected group is small, and intellectual development in this area is quite limited.

In the related field of diaphantic equations, I prefer to study them using cybernetics and ergodicity methods; any rational manifestation signals an expansion of the information pool. MashiraV (talk) 23:18, 12 July 2026 (UTC)

@MashiraV uuuuuuh Hlopov Eremei (talk) 04:31, 13 July 2026 (UTC)

Please add the published corrigendum to reference 22

I request an update to reference 22 in the “k-cycles” subsection. Disclosure: I am Xinjun Wang, the person acknowledged in the corrigendum for identifying the error and for discussions concerning its correction. I am therefore requesting review by an independent editor rather than editing the article directly. The current reference links only to Christian Hercher’s original 2023 paper. The official Journal of Integer Sequences article page now states that a corrigendum exists: Official article page: https://cs.uwaterloo.ca/journals/JIS/VOL26/Hercher/hercher5.html Official corrigendum PDF, dated June 14, 2026: https://cs.uwaterloo.ca/journals/JIS/VOL26/Hercher/corrigendum.pdf The corrigendum states that the derivation of an inequality in the proof of Theorem 21, at the bottom of page 14 of the original article, contained an error, and it provides a replacement argument. I respectfully request the following changes: Retain the citation to the original 2023 paper. Add the official 2026 corrigendum to reference 22. If appropriate, revise the relevant sentence to read: “Hercher extended the method further and, with a correction published in 2026, proved that there exists no k-cycle with k ≤ 91.” Suggested additional citation: Hercher, Christian (June 14, 2026). “Corrigendum to Article 23.3.5: There are no Collatz-m-Cycles with m ≤ 91”. Journal of Integer Sequences. https://cs.uwaterloo.ca/journals/JIS/VOL26/Hercher/corrigendum.pdf Thank you for reviewing this request. Mathlover678 (talk) 07:34, 4 August 2026 (UTC)

@Mathlover678: I have added the corrigendum to the citation, broadly in line with your suggestion. I will leave it to someone else to decide whether to implement the text edit you suggest. Thanks. --JBL (talk) 17:35, 4 August 2026 (UTC)

Collatz conjecture has been refuted, approved by Lean, but it was a Lean bug

Though that seems pretty recent, it’s been confirmed through Lean proof automaton (but actually is wrong) see https://lawrencecpaulson.github.io//2026/07/30/Collatz.html

Probably worth updating the article with a mention on that point, though guidance on how to tackle that kind of claim novel proof in WPEN would be nice if I have to do it myself. Thank in advance for your feedback. Psychoslave (talk) 08:27, 5 August 2026 (UTC)

I also thought this was notable, and added it to the article yesterday. See Collatz conjecture#In proofs of correctness. The references are not great, mostly pointers to discussions of the event. If better references become available they should be updated. LouScheffer (talk) 10:53, 5 August 2026 (UTC)