Comment by elias_t

I wonder if at some point mathematicians will be over-flooded with proofs to check and eventually some over confident false claim will make it into math.

Maybe in the future the work of Mathematicians will be like the ones of SWEs with AI, check thousands of lines of AI generated proof and find the subtle errors