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

12 pointsposted 5 hours ago
by ibobev
(quantamagazine.org)

3 Comments

mrkn1

an hour ago

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

matt3210

5 hours ago

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.

T-A

10 minutes ago

Third paragraph from the end of TFA:

Mathematicians are both frustrated and excited by OpenAI’s work. Sarnak, for his part, said in an email that he won’t be satisfied that it’s “a Theorem” until humans check and understand all the details. But “the general feeling is one of relief,” Radziwiłł said. There are scores of results across not just number theory but also geometry and theoretical computer science that the proofs of quasi-Riemann will, in a swift stroke, establish as mathematical truths.