Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

(twitter.com) by mean_mistreater | Mar 28, 2026 | 0 comments on HN