[AINews] Quasi-Riemann-Hypothesis: OpenAI publishes 722 math papers solving 90 of the top 500 open math problems; “the most significant moment” in >100 years of mathematics

OpenAI claims its models solved 90 of the top 500 unsolved math problems, including 722 papers on the Quasi-Riemann-Hypothesis. The announcement sparks debate over AI-generated proofs and peer review. Developers debate implications for automated theorem proving and formal verification.

Opening Kapyn…