Knuth Claude's Cycles note update: problem now fully solved by LLMs (www-cs-faculty.stanford.edu)

Knuth updated his 'Claude cycles' note with new spectacular developments. The remaining open problem was completely solved using LLMs, including proofs of correctness. See the Postpostscript section at the bottom of the note.

Also note the 'Over and out' section.

Pre-update discussion:

https://news.ycombinator.com/item?id=47230710