Graph-theoretic proof demonstrates an exact crossing number of 48 in the C8 x C8 graph, indicating the invalidity of any 47-crossing configuration.
We prove cr(C_8 x C_8)=48. An explicit 48-crossing drawing gives the upper bound. For the lower bound, a hypothetical 47-crossing drawing is reduced to two weighted subcubic intersection graphs. Mesh inequalities and balanced cuts exclude every possible component structure. The accompanying artifact contains the explicit drawing and an exact-rational crossing checker. This manuscript was prepared by Qiyuan Gu with ChatGPT 5.6 Sol. It is not peer reviewed and makes no claim about the full Harary-Kainen-Schwenk conjecture.
No takes yet. Share an insight, caveat, or question.
Qiyuan Gu (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: