Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem 4 months ago"to the point where in the last 3 months the industry has undergone a big transformation "Oh... this again. 0ThreadHN