Knuth updated his 'Claude cycles' note with new spectacular developments. The remaining open problem for even m was completely solved using LLMs, including proofs of correctness. The techniques used are very interesting, including multiple agents working together. See the references of the note for details.
Also note the 'Over and out' section.