OpenAI's new proof of the quasi-Riemann hypothesis

Quanta Magazine reports on OpenAI's new proof of the quasi-Riemann hypothesis. Jared Duker Lichtman of Stanford University called it “the most significant AI-for-math achievement so far, by quite a margin.”