[hollerith]

AI hasn't "toppled" (or found any mistakes in) any theorems, at least not any enjoying any consensus among mathematicians.