From a previous preprint titled "Claude’s Cycle", dated 2026-02-28 [2]:
It seems that I’ll have to revise my opinions about “generative AI” one of these days. What a joy it is to learn not only that my conjecture has a nice solution but also to celebrate this dramatic advance in automatic deduction and creative problem solving. I’ll try to tell the story briefly in this note.
Comments
Latest Knuth preprint: "Fillomino Densities", dated 2026-07-01
From a previous preprint titled "Claude’s Cycle", dated 2026-02-28 [2]:
[1] https://www-cs-faculty.stanford.edu/~knuth/papers/fillomino-...[2] https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cyc...
And he closes [2] with “May the force be with you”
Very interesting that he seems to be in the camp of “It’s ok if the machines prove it as long as we can understand and formally verify it after.”