I'm surprised we haven't heard of anyone running an AI on Donald Knuth's books to generate the largest collection of checks in existence...
The next headline will read: "AI pilled vibecoders bankrupt a once prominent computer scientist, the figure will surprise you!"
He is quite methodical and meticulous --- I doubt that there is much in the training data which isn't already accounted for in his research for his writings.
I only managed to get one check (for an error and a point of improvement) for _very_ minor points in _Digital Typography_ which was facilitated by my having been fascinated by typography since reading Oscar Ogg's _The 26 Letters_ and his cousin Warren Chappell's _The Living Alphabet_ when I was 8 or so.