AI Proved the Quasi-Riemann Hypothesis. What Happens Now?

ibobev 31 points 6 comments October 19, 2026

www.quantamagazine.org · View on Hacker News

Discussion Highlights (2 comments)

matt3210

It might have proved it, but the higher level of understanding which was expected from the process is not there, so there is no benefit.

mrkn1

7/8 result is already Lean-verified, yet experts are spending their time on the unverified 11/12 paper because it’s shorter and the only one a human edited

AI Proved the Quasi-Riemann Hypothesis. What Happens Now?

Discussion Highlights (2 comments)

Related Discussions