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.