logoalt Hacker News

ykonstanttoday at 9:21 AM1 replyview on HN

>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.


Replies

inigyoutoday at 12:03 PM

There are projects to take the entirety of humanity's mathematical knowledge and pour it into a proof checker.

show 1 reply