logoalt Hacker News

shiandowyesterday at 3:24 PM1 replyview on HN

Is it? How would you test an answer?

It is probably no coincidence that AI is exceedingly good at finding small counter examples. But for the Riemann hypothesis no such counter examples exist. And likely none exist.


Replies

Ohentisyesterday at 6:07 PM

An answer would be a proof that either it holds, or that it doesn't hold. You would test such an answer with an automated proof checker (probably lean).