no-way-labs/residue

Hamiltonian decomposition of Z_m^3 Cayley digraphs for all m > 2 — a complete solution to Knuth's "Claude's Cycles," found by LLM agents under a structured exploration prompt. Constructions, proofs, Lean formalization, and a verification suite.

1 best points · 0 comments · 1 Hacker News post · 27 GitHub stars · View on GitHub

Hacker News discussions

• Completing Claude's Cycles [pdf] (1 points, 0 comments, by fs123, 2026-03-07)