AI Proves the Quasi-Riemann Hypothesis Under Human Verification
An AI system produced a proof of the quasi-Riemann hypothesis — a restricted variant of one of mathematics' oldest unsolved problems — that human experts verified as correct, marking the first machine-generated proof of a significant number-theory conjecture to pass human peer review.
- The quasi-Riemann hypothesis is a specific restricted form of the full conjecture, not the prize-winning Riemann problem itself
- Human expert verification distinguishes this from other recent AI math proofs, most of which are still awaiting full review
- Quanta quotes one mathematician calling the implications for automated proof systems 'staggering'