Collatz Conjecture Unresolved Amid Lean Bug and Ergodics — E8 Intelligence Research

FINDING: Collatz remains unsolved; recent work explores topological/ergodic reformulations, while a Lean kernel vulnerability caused a temporary false disproof. | MATH: Collatz map T(n) = n/2 if n even, (3n+1)/2 if n odd; ergodic approach uses Borel σ-algebra and thermodynamic formalism; no new constants or closed-form progress. | CONNECTION: None found — no explicit ratios (0.382, 0.618, 0.786, 1.618, 2.618), no base-60, no crystallographic symmetry or root-system structure in the cited abstracts or summaries. | DEPTH: 3 — The topological/ergodic framing is a genuine mathematical lens but yields no new invariants or geometric harmony; the Lean incident is a metamathematical artifact, not a mathematical advance. The conjecture's stubbornness hints at deep structure, but these findings do not expose it. Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com