Notes on Kozma and Nitzan's proof of $\theta (p_c)=0$

Abstract

We present a human intelligible proof of the conjectures of Kozma and Nitzan, that they used to show $\theta (p_c)=0$. The proof was recently found by AI, but was very poorly written. Our version is much shorter as it completely skips the horizontal term and its long estimate.

arXiv comment9 pages, human-written proof reconstructed from AI's ideas