Indexed metadata
Notes on Kozma and Nitzan's proof of
Arthur Blanc-Renaudie
Source abstract
We present a human intelligible proof of the conjectures of Kozma and Nitzan, that they used to show . 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.
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.