Collatz Conjecture Remains Unsolved Amid Topological Advances and Retracted Formal Disproof — E8 Intelligence Research

FINDING: Collatz remains unsolved; recent work adds topological/ergodic framing, and a Lean kernel vulnerability briefly allowed a formalized "disproof" that was retracted. | MATH: Collatz map T(n) = n/2 if n even, (3n+1)/2 if n odd; no closed-form solution; recent arXiv 2601.03297 introduces a Borel σ-algebra and thermodynamic formalism to study recurrence properties of generalized Collatz-type maps. | CONNECTION: No direct geometric ratio (0.382, 0.618, etc.) or base-60 link emerges from these sources. However, the ergodic/topological approach hints at measure-preserving dynamics — a symmetry under iteration that could relate to lattice structures in phase space, but no explicit crystallographic or root-system connection is stated. | DEPTH: 4 — The Lean incident is a metamathematical curiosity (proof infrastructure fragility), not a mathematical breakthrough. The topological/ergodic paper is a methodological shift but yields no new constants or resolved cases. The conjecture's resist Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com