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

mean_mistreater · HackerNews · 5 min read · original