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.
[1] https://www-cs-faculty.stanford.edu/~knuth/papers/fillomino-... stapelberg: 329 commits
jonas-fi: 15 commits
others: 1 commit each
The bus factor is 1.