# Proof of the Harary--Hill conjecture: an exposition

Preprint · Martin Balko

- Archive id: arxiv:2610.34444
- Published: 2026-10-25
- arXiv: https://arxiv.org/abs/2610.34444
- Citations: 0
- Source URL: https://arxiv.org/abs/2610.34444
- PDF: https://arxiv.org/pdf/2610.34444
- Provenance: arxiv

## Abstract

The Harary--Hill conjecture states that the crossing number of the complete graph $K\_n$ is exactly $\\frac{1}{4}\\left\\lfloor\\frac{n}{2}\\right\\rfloor \\left\\lfloor\\frac{n-1}{2}\\right\\rfloor \\left\\lfloor\\frac{n-2}{2}\\right\\rfloor \\left\\lfloor\\frac{n-3}{2}\\right\\rfloor$. We present a streamlined variant of the proof of this conjecture recently announced by OpenAI (2026). Although the original proof is relatively short, it is quite difficult to follow. We simplify several steps and provide a concise and accessible exposition of the proof. We also combine this new result with known reductions to determine the crossing numbers of several other graph families.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

Topics: [Landmark Results in Pure Mathematics](https://space-kitty.com/topics/landmark-math-results)

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.