OpenAI publishes 722 AI-generated math papers, including Riemann hypothesis progress

OpenAI has published 722 math papers generated by an unreleased AI model, posted to GitHub, spanning about 20 mathematical subfields.

The model did not fully prove the Riemann hypothesis but proved the quasi-Riemann hypothesis, and it also produced theoretical computer science and partial differential equation results.

Many papers include Lean files for computer verification, and OpenAI plans to release more of them.