Hacker News new | ask | show | jobs
by nhlx2 508 days ago
Has AI been used to find errors in Knuth’s books? Or Chomsky’s?