Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
https://twitter.com/BoWang87/status/2037648937453232504
#HackerNews #Further #human #AI #proof #assistant #Knuth #Claude #Cycles

Bo Wang (@BoWang87) on X
Three weeks ago I shared that Claude had shocked Prof. Donald Knuth by finding an odd-m construction for his open Hamiltonian decomposition problem in about an hour of guided exploration. Prof. Knuth titled the paper Claude’s Cycles. The story didn't end there. The updated