News for hackers. Stuff that matters.

A comment on How I learned to love and fear the Riemann Hypothesis. Parent comment

Re:How I learned to love and fear the Riemann Hypothesis by 8bitsrule on Tuesday January 05, 2021 @11:02PM (#25654543)
> If AlphaProof generated a long and unreadable proof...

Then how would anyone be sure it isn't wrong?

It was great that while Goldston and Yıldırım were wrong, their work proved to be useful. A lot of people are glad that Riemann (and Fermat) didn't their problems!

[ Parent | on HN ]
Re:How I learned to love and fear the Riemann Hypothesis by whatshisface on Wednesday January 06, 2021 @12:35AM (#25654927)
We have automated proof checkers like CoQ. A proof machine would be designed to output proofs in a syntax that could be mechanically checked by an existing verifier.
[ Parent | on HN ]