OpenAI releases 377 AI math results at once: a quasi-Riemann hypothesis and the matrix multiplication exponent cut to 2.25

## OpenAI releases 377 AI math results at once OpenAI has published a collection of mathematical results generated by an internal frontier model: 722 manuscripts and 372 "result families" covering number theory, algebra, topology, logic and theoretical computer science. The model reportedly faced about 4,000 open mathematical problems, and the results that survived were compiled and released. **Key points** - **A quasi-Riemann hypothesis**: It proves that the Riemann zeta function and related L-functions have no zeros in the region Re(s)>7/8. The Riemann hypothesis asserts this for Re(s)>1/2. The previously known zero-free regions narrow the higher one goes along the imaginary axis; this time a zero-free strip of constant width was obtained. - **Matrix multiplication exponent cut to 2.25**: The previous world record was about 2.37. Cornell mathematician Strogatz said the jump was "like Bob Beamon's long jump." - **Formal verification in Lean**: Many of the proofs have been formalized in the Lean theorem prover, so machines can check them line by line. But not all have been formalized, and results that are not formalized may contain errors. - **Polarized reaction in the field**: Mathematicians were stunned that "any one of them would be worth a Fields Medal," while others questioned it: a Lean verification rate of about half means the other half still requires "trust me." > Source: [read the original](https://helloentrepreneurs.com/technology/openai-publishes-hundreds-of-ai-generated-math-results-including-claimed-advance-on-riemann-zeta-function-100727/). This text is a summary for reference only.