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

54 points | by mean_mistreater an hour ago

11 comments