{"id":"arxiv/2611.03515","url":"https://arxiv.org/abs/2611.03515","tags":["math.CO"],"score":0,"title":"The proof of the Harary--Hill conjecture: a detailed exposition and an extension to rotation systems","domain":"math.CO","source":"arxiv","authors":["Gelasio Salazar"],"reviews":0,"subject":"math.CO","summary":"The Harary--Hill conjecture states that the crossing number $\\ucr{K_n}$ of the complete graph $K_n$ is $Z(n):=\\frac{1}{4}\\lfloor\\frac{n}{2}\\rfloor\\lfloor\\frac{n-1}{2}\\rfloor\\lfloor\\frac{n-2}{2}\\rfloor\\lfloor\\frac{n-3}{2}\\rfloor$ for all $n\\ge 3$. In October 2026 OpenAI uploaded to GitHub a proof of this conjecture. The proof is very short, but it relies on polynomial methods that are not part of the standard techniques used by many combinatorialists, and it is written with very little motivation or explanation. Since we found the proof very hard to follow, we decided to write this paper,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-02","reactions":{}}