3 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 3mo 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 3mo agoIt feels like something anthropic or OpenAI would pounce on for marketing clout