Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
Claude found an odd-m construction for the open Hamiltonian decomposition problem, impressing Prof. Donald Knuth, who titled the resulting paper "Claude’s Cycles." The updated research reveals that for the base case m=3, there are 11,502 Hamiltonian cycles, with 996 generalizing to all odd-m, and 760 valid "Claude-like" decompositions identified.
twitter.com
1 min
1d ago
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
Claude found an odd-m construction for the open Hamiltonian decomposition problem, impressing Prof. Donald Knuth, who titled the resulting paper "Claude’s Cycles." The updated research reveals that for the base case m=3, there are 11,502 Hamiltonian cycles, with 996 generalizing to all odd-m, and 760 valid "Claude-like" decompositions identified.
twitter.com
1 min
1d ago
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
Claude found an odd-m construction for the open Hamiltonian decomposition problem, impressing Prof. Donald Knuth, who titled the resulting paper "Claude’s Cycles." The updated research reveals that for the base case m=3, there are 11,502 Hamiltonian cycles, with 996 generalizing to all odd-m, and 760 valid "Claude-like" decompositions identified.
twitter.com
1 min
1d ago
No more articles to load