alt Hacker NewsI wonder how many of the problems he lists on https://www-cs-faculty.stanford.edu/~knuth/news.html could be solved/checked with something like Fable at this point.
I wonder how many of the problems he lists on https://www-cs-faculty.stanford.edu/~knuth/news.html could be solved/checked with something like Fable at this point.
It feels like something anthropic or OpenAI would pounce on for marketing clout