alt Hacker NewsI 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
Replies
hiddencost • today at 12:14 PM
That's why the author refused to read a proof from someone he knew until it was formalized in Lean.
➕ show 1 reply
>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.
That point had come some time ago. Nowadays the literature is both enormous and littered with false proofs and an unknown, but nonzero, number of false published results.