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