W www-cs-faculty.stanford.edu Knuth Claude's Cycles note update: problem now fully solved by LLMs 3 points fs123 7 months ago 1 comments