Comment by jansport123

Who knows, If compute keeps dumping proofs for problems but no one knows their correctness because mathematicians stop investing their time in understanding these proofs, then you can't even really use the results or you can use it in the same sense you use stuff you don't really understand: You trust the author. With humans, there is a certain level of trust in people and institutions - with AI, we aren't really there yet.