fs123's comments | WingNews

fs123 | 21 days ago | on: Knuth Claude's Cycles note update: problem now fully solved, by LLMs

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.

fs123 | 22 days ago | on: Knuth Claude's Cycles note update: problem now fully solved by LLMs

Mods, please delete this entry, I succeeded in posting it in a better way: https://news.ycombinator.com/item?id=47290805

fs123 | 22 days ago | on: Knuth Claude's Cycles note update: problem now fully solved by LLMs

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.

fs123 | 1 year ago | on: A puzzle for Pi day 2025 [pdf]

I made a fun Roundtrip puzzle because it is Pi day today.

fs123 | 4 years ago | on: Revolving-door Gray code for all 4-vertex graphs [video]

Thanks. The original idea by Knuth was to have each vertex have both a separate tune and a separate instrument/timbre, with each combination sounding not too bad.

I couldn't make this sound good with 8 separate instruments, so I went for the next best thing: a single instrument, with each vertex playing one note (0->B, 1->C,...7->a).

fs123 | 4 years ago | on: Revolving-door Gray code for all 4-vertex graphs [video]

In February 2022, Don Knuth found a cool graph which contains all 4-vertex graphs as subgraphs. Furthermore, they can be visited in revolving-door Gray code order.

He reported about it in exercise 291 in pre-fasicle 7a, and asked if someone could make an animated video of it. This is my attempt at it.

Any remarks or suggestions for improvement are welcome.