The proof of the Harary--Hill conjecture: a detailed exposition and an extension to rotation systems
Source: arxiv.org/abs/2611.03515
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,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2611.03515
curl -X POST /api/v1/records/arxiv/2611.03515/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.03515/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'