The Collatz Conjecture: Progress, Not Proof, in Meta-Mathematics and Heuristics — E8 Intelligence Research

FINDING: Collatz remains unsolved; recent progress is meta-mathematical (Lean kernel vulnerability) and heuristic (Tao's partial results), not a breakthrough in the underlying arithmetic structure. | MATH: Collatz map: T(n) = n/2 if n even, (3n+1)/2 if n odd. No closed-form solution; Tao (2019) proved almost all orbits reach arbitrarily low values (log log n growth bound). The "false disproof" exploited a Lean kernel bug, not a counterexample. | CONNECTION: The 3n+1 operation is a 2-adic rotation; the map's dynamics on ℤ₂ are conjugate to a shift map — a lattice/root-system-like structure (binary tree of preimages). No golden-ratio or base-60 link emerges from the evidence. | DEPTH: 3 — the findings are popular expositions and a software bug, not new mathematics. The 2-adic structure is known since Terras (1976); no harmonic constants appear. Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-10-14
DOI
https://doi.org/10.5281/zenodo.23358128
Primary Topic
Analytic Number Theory Research
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

The Collatz Conjecture: Progress, Not Proof, in Meta-Mathematics and Heuristics — E8 Intelligence Research

Andrew Stewart Caldin
Zenodo (CERN European Organization for Nuclear Research)
Analytic Number Theory Research
preprint

The Collatz Conjecture: Progress, Not Proof, in Meta-Mathematics and Heuristics — E8 Intelligence Research

Andrew Stewart Caldin
preprint en

Abstract

FINDING: Collatz remains unsolved; recent progress is meta-mathematical (Lean kernel vulnerability) and heuristic (Tao's partial results), not a breakthrough in the underlying arithmetic structure. | MATH: Collatz map: T(n) = n/2 if n even, (3n+1)/2 if n odd. No closed-form solution; Tao (2019) proved almost all orbits reach arbitrarily low values (log log n growth bound). The "false disproof" exploited a Lean kernel bug, not a counterexample. | CONNECTION: The 3n+1 operation is a 2-adic rotation; the map's dynamics on ℤ₂ are conjugate to a shift map — a lattice/root-system-like structure (binary tree of preimages). No golden-ratio or base-60 link emerges from the evidence. | DEPTH: 3 — the findings are popular expositions and a software bug, not new mathematics. The 2-adic structure is known since Terras (1976); no harmonic constants appear. Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

Zenodo (CERN European Organization for Nuclear Research)
Analytic Number Theory Research
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.