5 ms·
I wonder how many of the problems he lists on https://www-cs-faculty.stanford.edu/~knuth/news.html https://www-cs-faculty.stanford.edu/~knuth/news.html could be
by laichzeit0 2mo ago
I wonder how many of the problems he lists on https://www-cs-faculty.stanford.edu/~knuth/news.html https://www-cs-faculty.stanford.edu/~knuth/news.html could be solved/checked with something like Fable at this point.
- nickpeterson 2mo agoIt feels like something anthropic or OpenAI would pounce on for marketing clout