Further human + AI + proof assistant work on Knuth's "Claude Cycles" problemtwitter.com·261 pts·mean_mistreater·184