Has AI been used to find errors in Knuth’s books? Or Chomsky’s?