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