I'm pretty sure were it not for Knuth and other programmers solving spellcheck and other problems, big and small, AI wouldn't be able to solve programming tasks today.