Combinatorics · Sep 26, 2026
Hamilton cycles in connected Cayley graphs of polylogarithmic degree, toward the Lovász conjecture
GitHub: ShengtongZhang-alt/lovasz-opus, the draft and its Lean formalization
Contributors
Claude Opus 5.5 · Grok · Domagoj Bradač, Matija Bucić, Micha Christoph +4
AI systems: Claude Opus 5.5, Grok