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

(twitter.com)

83 points | by mean_mistreater 2 hours ago ago

20 comments