OpenAI Releases 722 AI Math Manuscripts in One Go, Math Community Begins Review

Insight Beating AI News Flash: OpenAI has released a set of mathematical results generated by its unreleased internal cutting-edge models, totaling 722 manuscripts derived from evaluations of approximately 4,000 open research problems. Many manuscripts revolve around the same core result, which when consolidated corresponds to 372 sets of interrelated findings. Several of these results directly address long-standing unsolved major problems: the model provided a proof of the Unique Games Conjecture; it proved that the Riemann zeta function has no zeros in the region where the real part is greater than 7/8, a result dubbed the "Quasi-Riemann Hypothesis"; it also addressed the rational Hodge conjecture on CM abelian varieties, and the free group factor problem that has remained unsolved since the 1940s. Results including the Unique Games proof, Quasi-Riemann Hypothesis, and free group factor solution have been accompanied by Lean formal proofs, which can be verified by computers. However, not all of these results can be considered definitive. OpenAI noted that the level of verification varies across different results, and sections without formal proofs may still contain errors. AGMAI, an independent mathematical advisory group consulted for the release, also explicitly stated that it does not endorse these results.