Further human + AI + proof assistant work on Knuth's "Claude Cycles" problemtwitter.com
94 points by mean_mistreater 3 hours ago | 44 comments