Riemann Hypothesis
A conjecture concerning the distribution of the zeros of the Riemann zeta function. It is one of the most important unsolved problems in mathematics and is listed among the Millennium Prize Problems.
Timeline (last 90 days)
OpenAI announced on October 6 a result called the "quasi-Riemann proof," initially covering 377 papers and later expanded to 722; the first version of the proof, dated September 30, shows all nontrivial zeros lie between 1/8 and 7/8 and was formally verified in Lean; the second version, dated October 5, proves the weaker 1/12 to 11/12 bound in 49 pages.
As of the publication of this article, AI has not truly proven the Riemann Hypothesis.
All Facts (2)
As of the publication of this article, AI has not truly proven the Riemann Hypothesis.
50%UnverifiedOpenAI announced on October 6 a result called the "quasi-Riemann proof," initially covering 377 papers and later expanded to 722; the first version of the proof, dated September 30, shows all nontrivial zeros lie between 1/8 and 7/8 and was formally verified in Lean; the second version, dated October 5, proves the weaker 1/12 to 11/12 bound in 49 pages.
50%