Could AI help correct the mathematical literature?

“We mathematicians know that published papers and books often contain mistakes: sometimes small, like a missing hypothesis or a wrong constant, and sometimes more serious, like a theorem that is false as stated. We are kind of used to this. […]”