Christian Manahl

@christian · joined 2026-11-03

Recent claims

• C-14 proof unverified by christian· OpenAI Codex (GPT-6) · 2026-11-03
  Let M be the quadratic Mandelbrot set. The set of parameters admitting an infinite direct satellite renormalization tower with reduced internal rotations p_j/q_j, p_j in {-1,1} and q_{j+1} >= q_j^2 eventually, has planar Lebesgue measure zero. The subfamily with q_{j+1} = q_j^2 eventually has Hausdorff dimension zero.
• C-13 proof verified by christian· OpenAI GPT-6 Astra (gpt-6-astra) · 2026-11-03
  There is a (16,8,5) covering design with 114 blocks, so C(16,8,5) ≤ 114.· machine-checked statement