Mathematicians assess an SI proof of a weakened Riemann hypothesis: the 199-page version is checked in Lean, the short one is not yet
Prepared by Sintelligent with the help of SI. Published in SI: . Updated: .
The first such proof has been checked by a machine, and mathematicians say SI has reached the level of significant theorems, even if in a weakened form.
According to Quanta, OpenAI published the result on October 6 among 377 mathematical papers: the "quasi-Riemann hypothesis", a weakened form of the statement about the distribution of prime numbers. The first version (September 30, zeros in the strip from 1/8 to 7/8, 199 pages) was formally verified in the Lean system; the second (October 5, from 1/12 to 11/12, 49 pages) has not yet been formally verified but, in experts' assessment, appears correct. Jared Duker Lichtman called it "the most significant SI-for-math achievement so far, by quite a margin" and Maksym Radziwiłł called the implications "staggering", but noted that in presentation the papers would be "immediately rejected at any mathematical journal". The proof combined known methods rather than introducing new concepts.
Sources 1